Aide à la démonstration

Logiciel d'aide à l'apprentissage de la démonstration en géométrie plane. Il comprend une base de données de définitions et de propriétés de géométrie associées à des figures interactives.