antic
arb
e-antic
eclib
flint
msolve
normaliz
sagemath
singular
symengine