Les environnements de géométrie dynamique (EGD) sont apparus au cours du dernier demi-siècle et leur incidence dans l'enseignement des mathématiques n’a cessé d’augmenter. Les EGD élargissent le champ d'application des objets géométriques soumis à un raisonnement formel, par exemple, au cours d’opérations simultanées qui engagent plusieurs caractéristiques du travail géométrique. De nos jours, les EGD facilitent la visualisation et la formulation de conjectures, la comparaison d'objets, la découverte ou la démonstration rigoureuse de propriétés géométriques : la géométrie élémentaire d’Euclide est nécessaire pour raisonner à leur propos.

Au cours de cette période, divers outils ont été introduits dans les EGD, tels que les manipulations algébriques d’objets définis initialement en géométrie, ou la preuve et la découverte automatisées d'énoncés géométriques élémentaires à l'aide d'algorithmes informatiques. De plus, des tuteurs intelligents qui intègrent la géométrie dynamique ont été mis au point en géométrie euclidienne.

La fusion de ces outils (EGD, systèmes de preuve automatisée et tuteurs intelligents) est donc un enjeu très naturel, stimulant et prometteur, impliquant actuellement des experts internationaux qui partagent des compétences en logique, en calcul symbolique, en génie informatique, en géométrie algébrique et en didactique des mathématiques.

La session spéciale se propose d'être un forum pour :

• présenter l'état actuel de l'art en matière de conception et de mise en œuvre d’outils de raisonnement automatisé et de systèmes tuteurs intelligents qui évoluent en géométrie dynamique;

• proposer des applications dans différents contextes, comme la génération de courbes algébriques, le tringlage ou la réalité augmentée;
  

• favoriser un débat sur le rôle et l'utilisation de ces outils dans l'enseignement des mathématiques en général, et en particulier, sur leur influence potentielle relativement à la preuve et à la démonstration à l’école.