Computer Algebra
- Elimination Theory and Methods
- Characteristic Sets and Triangular Decomposition
- Gröbner Bases
- Polynomial System Solving
- Computational Commutative Algebra and Algebraic Geometry
- Computational Differential Algebra
- Symbolic-Numeric Computation
Geometric Reasoning and Computation
- Mechanical Theorem Proving in Geometry
- Management and Discovery of Geometric Knowledge
- Dynamic Geometric Drawing
- Design and Implementation of Geometric Software
- Geometric Constraint Solving
- Intelligent Robots
Computer-Aided Analysis
- Elimination and Decomposition of Differential Systems
- Qualitative Analysis of Differential Equations
- Analysis and Simulation of Biological Systems