A web-based intelligent system for geometric discovery. An open web-based tool for automatic discovery in elementary Euclidean geometry, webDiscovery, is described. It is based in recent findings in automatic discovery in geometry. A user-defined geometric construction is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, return the discovered facts about the construction. webDiscovery can be efficiently used in mathematics education, linkage design and testing and computer aided geometric design. The system can be tested at rosalia.uvigo.es/sdge/web/2D.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Chen, Xiaoyu; Song, Dan; Wang, Dongming: Automated generation of geometric theorems from images of diagrams (2015)
- Gerhäuser, Michael; Wassermann, Alfred: Automatic calculation of plane loci using Gröbner bases and integration into a dynamic geometry system (2011)
- Escribano, Jesús; Botana, Francisco; Abánades, Miguel A.: Adding remote computational capabilities to dynamic geometry systems (2010) ioport
- Janičić, Predrag: Geometry constructions language (2010)
- Abánades, Miguel A.; Escribano, Jesús; Botana, Francisco: First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems (2007)
- Recio, T.; Botana, F.: Where the truth lies (in automatic theorem proving in elementary geometry) (2004)
- Botana, Francisco: A web-based intelligent system for geometric discovery (2003)
- Botana, F.; Valcarce, J. L.: A software tool for the investigation of plane loci (2003)