swMATH ID: 10153
Software Authors: Botana, Francisco
Description: 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.
Homepage: http://link.springer.com/chapter/10.1007/3-540-44860-8_83
Related Software: CoCoA; Lugares; Cinderella; GEX; Geometer's Sketchpad; Mathematica; GeoThms; GeoGebra; GEOTHER 1.1; LAD; TGTP; Python; Matplotlib; JSXGraph; TeX; LaTeX; JGEX; GeoView; gcl; GCLCprover
Referenced in: 7 Publications

Referencing Publications by Year