Rewriting input expressions in complex algebraic geometry provers

Using Gröbner bases to reason about geometry problems

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

Geometric Modeling, Finite Geometry, Geometry +6

Automatic Discovery of Theorems in Elementary Geometry

Tomás Recio, M. Pilar Vélez · Journal of Automated Reasoning · 1999 · 102 citations

Automated Theorem Proving in GeoGebra: Current Achievements

Francisco Botana, Markus Hohenwarter, Predrag Janičić et al. · Journal of Automated Reasoning · 2015 · 101 citations

Integral Geometry, Engineering, Geometry +4

A New Approach for Automatic Theorem Proving in Real Geometry

Andreas Dolzmann, Thomas Sturm, Volker Weispfenning · Journal of Automated Reasoning · 1998 · 75 citations