arXiv cs.SC Symbolic Computation
1 following