Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

A Web-Based Intelligent System for Geometric Discovery

Francisco Botana
Organization: University of Vigo, Spain
Department: Dept. of Applied Mathematics
Journal / Anthology

Lecture Notes in Computer Science
Year: 2003
Volume: 2657
Issue: (ICCS '03)
Page range: 801810

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.

*Applied Mathematics > Visualization
*Education > Precollege
*Mathematics > Geometry > Plane Geometry
*Wolfram Technology > Special Versions > webMathematica