Un tutoriel (enfin du tutoriel d’utilisation, oui, mais aussi, des explications de mauvaises utilisations, des notes techniques) sur l’état actuel (version bureau 346) des fonctionnalités de raisonnement automatisé implémentées dans GeoGebra par les 3 mousquetaires qui travaillent dessus.
Traduction, adaptation française par votre serviteur.
Cela rallonge la frappe d’écrire « Théorème de l’angle inscrit dans un demi-cercle » à la place de « Thales’ circle theorem »...
NoëL Lambert
GeoGebra Team
Help desk