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

Details:

   
TitleA dynamic-symbolic interface for geometric theorem discovery
Author(s) Francisco Botana, Jose L. Valcarce
TypeArticle in Journal
AbstractThis paper describes Discover, a program for learning and teaching geometry with the help of a computer. The program is a dynamic geometry environment that can communicate with Mathematica, using its symbolic capabilities to perform geometric discovery or rediscovery. Discover is specially suited to be used as a learning tool for geometry from the ages of 12 up to University. It permits the replacement of the traditional ruler and compass by electronic substitutes, as in standard dynamic geometry environments. Through its link with the computer algebra software, it enhances the process of conjecturing and proving. The results can be expressed in natural language or through the use of equations. The mathematical methods that Discover uses are sound, although not complete. Despite this last fact, almost all parts of the school curricula in plane geometry can be adequately treated with the program.
Keywordsdynamic geometry, human-computer interface, interactive learning environments, media in education, symbolic methods
Length15
ISSN0360-1315
File
URL dx.doi.org/10.1016/S0360-1315(01)00089-6
LanguageEnglish
JournalComputers & Education
Volume38
Number1-3
Pages21-35
PublisherElsevier Science Ltd.
AddressOxford, UK, UK
Year2002
MonthJanuary
Translation No
Refereed No
Webmaster