Research

General Research Interests

• Symbolic Computation
  
• Algebraic Algorithms
• Computational Algebra
• Algebraic Geometry
• Geometric Theorem proving
• Numerical methods
• Computational Geometry

Specific Topics

• Resultant "Eliminant" Computation
  • Resultant of a polynomial system
  • Cayley-Dixon Construction
  • Dixon Dialytic Method

Experiments

• Method comparison table KS96, Sax97
• Method comparison table CK00
• Bivariate Systems, CK03
• Comparison table of Khe02 method and Cayley-Dixon construction

---