arXiv cs.SC Symbolic Computation
8 followers