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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Botana, F. (2003). A web-based intelligent system for geometric discovery. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2657, 801–810. https://doi.org/10.1007/3-540-44860-8_83
Mendeley helps you to discover research relevant for your work.