GeoProof télécharger

« Le projet pour un logiciel de géométrie interactive dans la production d'éléments de preuve se produit. »
Sous la direction de indir.biz : ce programme est un logiciel de géométrie interactive avec preuves caractéristiques connexes est.
Preuve pour un logiciel de géométrie interactive dans la production du projet se produit.
Assistant preuve coq avec les théorèmes de géométrie GeoProof pour effectuer des démonstrations interactives et automatiques peut communiquer.

---

Un projet par Julien Narboux base GeoProof initié par François Nicolas DrGeoCaml a été développé.

---

Traits <br> Liste détaillée des caractéristiques.
-cinq types d'objets géométriques : points, des lignes, des cercles, des vecteurs et des segments
trois transformations : symétrie centrale, la traduction et la symétrie axiale - pour construire un chemin de neuf points
ligne-
cinq façons de créer le
Théorème de suivi automatique peut maintenant télécharger un libre GeoProof 0.5beta peut être prouvé que les parties dynamiques d'un cercle
Pour créer un trois-way-texte les étiquettes.