Research >> Areas   
Home
People
Research
Activities
Education
About Us
Download
Link

 

 
 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

Research Areas | Publications | Software | General Seminar | Geometry Seminar | Algebra Seminar | FAQ