|
|
Research Areas
- Computer Algebra
- Elimination 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
- Geometric Knowledge Management
- Dynamic Geometric Drawing
- Design and Implementation of Geometry Software
- Geometric Constraint Solving
- Computer-Aided Analysis
- Elimination and Decomposition of Differential Systems
- Qualitative Analysis of Differential Equations
- Analysis and Simulation of Biological Systems
|
