GeoProof for Linux 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.

---

Développé de base d'un projet par Julien Narboux Linux GeoProof Nicolas François initiée par son DrGeoCaml.

---

caractéristiques
Liste détaillée des fonctionnalités :
-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 - neuf façons de construire un point <br>-une ligne
cinq façons de créer le
Théorème de suivi automatique prouver à l'aide de Linux 0.5beta peut-être être libre pour télécharger GeoProof parties dynamiques d'un cercle
Pour créer un trois-way-texte étiquettes maintenant.