Research
General Research Interests
Specific Topics
Experiments
- 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