MOYEN_PHO_CHEMIN_56_1213631121.jpg                                                       ictmt_1.jpg
© Région Rhône-Alpes / Jean-Luc Rigaux

GEOGEBRA AUTOMATED REASONING TOOLS: A TUTORIAL WITH TOOLS: A TUTORIAL WITH EXAMPLES
Zoltan Kovacs  1, *, @  , Tomas Recio  2, *, @  , Philippe Richard  3, *, @  , M. Vélez  4, *, @  
1 : Private Pädagogische Hochschule der Diözese Linz
2 : Universidad de Cantabria
3 : Université de Montréal  (UdeM)  -  Website
Université de Montréal C.P. 6128, succursale Centre-ville Montréal (Québec) CANADA H3C 3J7 -  Canada
4 : Universidad Antonio de Nebrija
* : Corresponding author

GeoGebra Automated Reasoning Tools (GGB-ART) are a collection of GeoGebra tools and commands ready to automatically derive, discover and/or prove geometric statements in a dynamic geometric construction. The aim of this workshop is to present, through examples, the use of GGB-ART and to argue about its potential impact in the classroom.

Subject : : Workshop
Language of text : English
Topics : Software and application
Keywords : Automated theorem proving and discovery ; GeoGebra ; Dynamic geometry software ; Elementary geometry in education
Online user: 1 RSS Feed