%0 Journal Article %1 keyhere %A Janičić, Predrag %A Quaresma, Pedro %D 2006 %J Automated Reasoning %K dynamic geometry proving theorem %P 145--150 %T System Description: GCLCprover + GeoThms %U http://dx.doi.org/10.1007/11814771_13 %X Dynamic geometry tools (e.g., Cinderella, Geometer’s Sketchpad, Cabri, Eukleides1) visualise geometric objects, allow interactive work, and link formal, axiomatic nature of geometry (most often — Euclidean) with its standard models (e.g., Cartesian model) and corresponding illustrations. These tools are used in teaching and studyinggeometry, some of them also for producing digital illustrations. The common experience is that dynamic geometry tools significantlyhelp students to acquire knowledge about geometric objects. However, despite the fact that geometry is an axiomatic theory,most (if not all) of these tools concentrate only on concrete models of some geometric constructions and not on their abstractproperties — their properties in deductive terms. The user can vary some initial objects and parameters and test if some propertyholds in all checked cases, but this still does not mean that the given property is valid.

@article{keyhere, abstract = {Dynamic geometry tools (e.g., Cinderella, Geometer’s Sketchpad, Cabri, Eukleides1) visualise geometric objects, allow interactive work, and link formal, axiomatic nature of geometry (most often — Euclidean) with its standard models (e.g., Cartesian model) and corresponding illustrations. These tools are used in teaching and studyinggeometry, some of them also for producing digital illustrations. The common experience is that dynamic geometry tools significantlyhelp students to acquire knowledge about geometric objects. However, despite the fact that geometry is an axiomatic theory,most (if not all) of these tools concentrate only on concrete models of some geometric constructions and not on their abstractproperties — their properties in deductive terms. The user can vary some initial objects and parameters and test if some propertyholds in all checked cases, but this still does not mean that the given property is valid.}, added-at = {2008-05-22T13:55:34.000+0200}, author = {Janičić, Predrag and Quaresma, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/2aa78cd798983f159bc8e7d50ca9a5822/toni}, description = {SpringerLink - Book Chapter}, interhash = {eca06f3adf87b7d3d244132c535095d0}, intrahash = {aa78cd798983f159bc8e7d50ca9a5822}, journal = {Automated Reasoning}, keywords = {dynamic geometry proving theorem}, pages = {145--150}, timestamp = {2008-06-05T14:36:10.000+0200}, title = {System Description: GCLCprover + GeoThms}, url = {http://dx.doi.org/10.1007/11814771_13}, year = 2006 }