Proving geometry theorems with rewrite rules
- 1 September 1986
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 2 (3), 253-273
- https://doi.org/10.1007/bf02328448
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Gröbner Bases: An Algorithmic Method in Polynomial Ideal TheoryPublished by Springer Nature ,1985
- Proving Elementary Geometry Theorems Using Wu’s AlgorithmContemporary Mathematics, 1984
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970
- Differential AlgebraPublished by American Mathematical Society (AMS) ,1950