eclib
giac
latte-integrale
ntl
sagemath
singular