Research Interests

• Symbolic and algebraic computation (computer algebra)
• Algebraic and differential elimination theory
• Algorithms in algebraic geometry
• Term rewriting systems
• Equational theorem proving