cycle (cargo): modern and safe symbolic mathematics
Keywords: mathematics|analysis|symbolic|modeling