Geometrix

Geometrix. Logiciel d’intelligence artificielle, GEOMETRIX est la seule application capable de corriger en direct un élève sur n´importe quel problème de construction. C’est aussi le seul logiciel en mesure de raisonner sur la figure pendant que l’élève la construit et d’afficher ainsi ses propriétés et leur codage. L’élève peut ainsi lire et visionner toutes les ”implications” logiques de sa construction et tenter ensuite de démontrer avec l’aide du logiciel n’importe quelle proposition. C´est aussi un logiciel qui met l’accent sur le langage. La construction de tout objet géométrique exige la formulation d’une phrase qui le définit totalement dans ses relations logiques avec ses ascendants. Cette construction axiomatique basée sur des phrases exprimant les relations logiques entre les objets est essentielle pour l’étape suivante : la démonstration. GEOMETRIX tente de promouvoir une approche pédagogique constructiviste. Les élèves doivent pouvoir agir comme des chercheurs. Conjectures, tests, preuves, formalisations, abstractions, nouvelles conjectures, tests, erreurs etc… Pour cela il faut un logiciel capable de détecter et traiter toute erreur. L’ordinateur est un outil d’investigations, il doit permettre de mener une ”enquête” basée sur des expériences.