sympy
galgebra
