A New Approach for Automatic Theorem Proving in Real Geometry.

Andreas Dolzmann Thomas Sturm Volker Weispfenning A New Approach for Automatic Theorem Proving in Real Geometry. 357-380 1998 21 J. Autom. Reasoning 3 db/journals/jar/jar21.html#DolzmannSW98