Mechanical geometry theorem proving based on groebner bases

@article{Wu1997MechanicalGT,
  title={Mechanical geometry theorem proving based on groebner bases},
  author={Jinzhao Wu},
  journal={Journal of Computer Science and Technology},
  year={1997},
  volume={12},
  pages={10-16}
}
A new method for the mechanical elementary geometry theorem proving is presented by using Groebner bases of polynomial ideals. It has two main advantages over the approach proposed in literature: (i) It is complete and not a refutational procedure; (ii) The subcases of the geometry statements which are not generally true can be differentiated clearly. 
Highly Influential
This paper has highly influenced 29 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 154 extracted citations

Rewriting input expressions in complex algebraic geometry provers

Annals of Mathematics and Artificial Intelligence • 2018
View 5 Excerpts
Highly Influenced

A New Algorithmic Scheme for Computing Characteristic Sets

J. Symb. Comput. • 2013
View 8 Excerpts
Highly Influenced

Automated Deduction in Geometry

Lecture Notes in Computer Science • 2012
View 12 Excerpts
Highly Influenced

On Protocols for the Automated Discovery of Theorems in Elementary Geometry

Journal of Automated Reasoning • 2009
View 6 Excerpts
Highly Influenced

Visually Dynamic Presentation of Proofs in Plane Geometry

Journal of Automated Reasoning • 2009
View 9 Excerpts
Highly Influenced

Geometry theorem proving by Gröbner bases: using ideal decompositions

ACM Comm. Computer Algebra • 2008
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…