Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA Web-Based Intelligent System for Geometric Discovery
Author(s) Francisco Botana
TypeArticle in Journal
AbstractAn 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.
ISSN0302-9743
LanguageEnglish
JournalLecture Notes in Computer Science
Volume2657
Pages801 - 810
PublisherSpringer-Verlag GmbH
Year2003
MonthAugust
Translation No
Refereed No
ConferencenameICCS 2003
Webmaster