Christopher W. Brown (United States Naval Academy, Annapolis, MD, USA) |
Zoltán Kovács (The Private University College of Education of the Diocese of Linz, Linz, Austria) |
Róbert Vajda (Bolyai Institute, University of Szeged, Szeged, Hungary) |
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in Euclidean planar geometry related to inequalities. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.352.18 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |