| Publication | Date of Publication | Type |
|---|
| Ritt-Wu's decomposition algorithm and geometry theorem proving | 2023-04-28 | Paper |
Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
An introduction to geometry expert
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
An introduction to Java geometry expert. (Extended abstract)
Automated Deduction in Geometry | 2011-05-26 | Paper |
Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
Journal of Automated Reasoning | 2011-01-12 | Paper |
Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
Journal of Automated Reasoning | 2011-01-12 | Paper |
Geometric constraint satisfaction using optimization methods.
CAD. Computer-Aided Design | 2003-10-14 | Paper |
| Automated reasoning in geometry | 2002-08-27 | Paper |
Automated generation of Kempe linkages for algebraic curves and surfaces
Mechanism and Machine Theory | 2002-07-02 | Paper |
| scientific article; zbMATH DE number 1263331 (Why is no real title available?) | 2001-08-28 | Paper |
A deductive database approach to automated geometry theorem proving and discovering
Journal of Automated Reasoning | 2001-06-10 | Paper |
| scientific article; zbMATH DE number 1348459 (Why is no real title available?) | 1999-10-07 | Paper |
| scientific article; zbMATH DE number 1263377 (Why is no real title available?) | 1999-08-11 | Paper |
| scientific article; zbMATH DE number 1273649 (Why is no real title available?) | 1999-07-25 | Paper |
| scientific article; zbMATH DE number 1189075 (Why is no real title available?) | 1999-04-19 | Paper |
On the theory of resolvents and its applications.
Systems Science and Mathematical Sciences | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 994741 (Why is no real title available?) | 1997-07-06 | Paper |
Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
Journal of Automated Reasoning | 1997-02-20 | Paper |
Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
Annals of Mathematics and Artificial Intelligence | 1997-01-27 | Paper |
On the dimension of an arbitrary ascending chain
Chinese Science Bulletin | 1996-09-11 | Paper |
Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
Journal of Automated Reasoning | 1996-01-01 | Paper |
Machine Proofs in Geometry
Series on Applied Mathematics | 1995-12-06 | Paper |
Automated production of traditional proofs in solid geometry
Journal of Automated Reasoning | 1995-11-09 | Paper |
A zero structure theorem for differential parametric systems
Journal of Symbolic Computation | 1995-01-31 | Paper |
| scientific article; zbMATH DE number 500492 (Why is no real title available?) | 1994-02-24 | Paper |
Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
Journal of Automated Reasoning | 1994-01-23 | Paper |
Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
Journal of Automated Reasoning | 1994-01-23 | Paper |
Implicitization of rational parametric equations
Journal of Symbolic Computation | 1993-05-16 | Paper |
On the parameterization of algebraic curves
Applicable Algebra in Engineering, Communication and Computing | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 41286 (Why is no real title available?) | 1992-09-17 | Paper |
ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES
International Journal of Computational Geometry & Applications | 1992-06-27 | Paper |
An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry
Algorithmica | 1990-01-01 | Paper |
A decision method for certain algebraic geometry problems
Rocky Mountain Journal of Mathematics | 1989-01-01 | Paper |
On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
Algorithmica | 1989-01-01 | Paper |
An introduction to Wu's method for mechanical theorem proving in geometry
Journal of Automated Reasoning | 1988-01-01 | Paper |
A method for the mechanical derivation of formulas in elementary geometry
Journal of Automated Reasoning | 1987-01-01 | Paper |
Proving geometry theorems with rewrite rules
Journal of Automated Reasoning | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3926285 (Why is no real title available?) | 1984-01-01 | Paper |
