On the theory of graded structures
Journal of Symbolic Computation
On the application of Buchberger's algorithm to automated geometry theorem proving
Journal of Symbolic Computation
Using Gröbner bases to reason about geometry problems
Journal of Symbolic 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
Mechanical geometry theorem proving
Mechanical geometry theorem proving
A generalization of reduction rings
Journal of Symbolic Computation
A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Algorithms for Computing Groebner Bases of Polynomial Ideals over Various Euclidean Rings
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
A critical-pair/completion algorithm for finitely generated ideals in rings
Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity
Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Journal of Automated Reasoning
An Application of Automatic Theorem Proving in Computer Vision
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Readable Machine Solving in Geometry and ICAI Software MSG
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Hi-index | 0.00 |