Ritt-Wu's decomposition algorithm and geometry theorem proving

Automated reasoning in geometries using the characteristic set method and Gröbner basis method

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation

Refutational proofs of geometry theorems via characteristic set computation

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation

Computations with parametric equations

ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation

Solving parametric algebraic systems

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation

An Application of Automatic Theorem Proving in Computer Vision

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry

Decomposing Algebraic Varieties

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry

Using the witness method to detect rigid subsystems of geometric constraints in CAD

Proceedings of the 14th ACM Symposium on Solid and Physical Modeling

Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems

Computer-Aided Design