cypari2
cysignals
eclib
giac
lcalc
pari
sagemath