Frederic Eyssette
Mathematica Volume algebra algebraic geometry algebraic number theory commutative algebra commutative property complexity computation computer computer algebra system interpolation number theory projective geometry tool