Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Automated geometry theorem proving using Buchberger's algorithm
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A method for the mechanical derivation of formulas in elementary geometry
Journal of Automated Reasoning
Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
Proving geometry theorems with rewrite rules
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
On mechanical quantifier elimination for elementary algebra and geometry
Journal of Symbolic Computation
Geometric reasoning with logic and algebra
Artificial Intelligence - Special issue on geometric reasoning
A refutational approach to geometry theorem proving
Artificial Intelligence - Special issue on geometric reasoning
Artificial Intelligence - Special issue on geometric reasoning
Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation
Careful algebraic translations of geometry theorems
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Ritt-Wu's decomposition algorithm and geometry theorem proving
CADE-10 Proceedings of the tenth international conference on Automated deduction
Methods for mechanical geometry formula deriving
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
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Mechanical Theorem Proving in Differential Geometry: I. Space Curves
Mechanical Theorem Proving in Differential Geometry: I. Space Curves
Automated Reasoning in Mechanics Using Ritt-wu''s Method
Automated Reasoning in Mechanics Using Ritt-wu''s Method
A Combination of Ritt-Wu''s Method and Collins'' Method
A Combination of Ritt-Wu''s Method and Collins'' Method
A Class of Geometry Statements of Constructive Type and Geometry TheoremProving
A Class of Geometry Statements of Constructive Type and Geometry TheoremProving
Algebraic geometry and group theory in geometric constraint satisfaction
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Computer algebra handbook
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Hi-index | 0.00 |
This is an overview of the applications of the characteristic set method and the Gröbner basis method to automated reasoning in elementary geometries, differential geometries, and mechanics. Though I shall try to be objective, it will reflect mainly my knowledge of the subject.