Géométrix
Un article de Wikipédia, l'encyclopédie libre.
Géometrix | |
---|---|
Développeur | Jacques Gressier |
Dernière version | 3.5.2.23 (Mai 2008) |
Environnement | Windows (portage sous Linux en cours) |
Type | Géométrie dynamique, Raisonnement automatique |
Licence | gratuit |
Site web | http://geometrix.free.fr |
Géométrix est un logiciel gratuit pédagogique de géométrie dynamique, écrit en Prolog, Free Pascal (environnement Lazarus) et Python. Il est capable de corriger un élève sur tout exercice de construction géométrique et vise à le guider lors d'exercices de démonstration . Il peut détecter toute erreur de construction, la commenter, intervenir sur la figure de l'élève, la modifier, l'animer pour lui suggérer des pistes de recherche.
Il dispose d'un module de raisonnement automatique (niveau collège) capable à partir d'une figure d'en établir et démontrer les propriétés. Sur cette base, l'enseignant peut générer et décliner plusieurs exercices de démonstration pour les élèves.
Géométrix a reçu le CERVOD d'argent en 1998. Le Ministère de l'Education Nationale lui a accordé le label RIP ("Reconnu d'intérêt pédagogique") en 2002.