Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

A Web-Based Intelligent System for Geometric Discovery
Author

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
Description

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.
Subjects

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