On the application of Buchberger's algorithm to automated geometry theorem proving

Greobner Bases : an algorithmic method in polynomial ideal theory

Bruno Buchberger · Medical Entomology and Zoology · 1985 · 1.1K citations

Natural Sciences, Computer Science, Mathematics +11

Basic principles of mechanical theorem proving in elementary geometries

Wen-tsün Wu · Journal of Automated Reasoning · 1986 · 391 citations

Natural Sciences, Mathematics, Physics +15

Using Gröbner bases to reason about geometry problems

Deepak Kapur · Journal of Symbolic Computation · 1986 · 120 citations

Natural Sciences, Computer Science, Mathematics +9

ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY

Tun Wen-Dun · Scientia Sinica · 1978 · 86 citations

Computing, Mathematics, Algorithms +7

Automated geometry theorem proving using Buchberger's algorithm

Bernhard Kutzler, Sabine Stifter · 1986 · 60 citations

Natural Sciences, Computer Science, Mathematics +11