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
Proving geometry theorems with rewrite rules
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Proving Geometry Statements of Constructive Type
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Journal of Automated Reasoning
Readable Machine Solving in Geometry and ICAI Software MSG
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
A Complex Change of Variables for Geometrical Reasoning
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Hi-index | 0.00 |