Main Page
Research Interests
Symbolic and algebraic computation (computer algebra)
Algebraic differential equations
Algorithms in algebraic geometry
Term rewriting systems & Equational theorem proving