GeoProof herunterladen

"Projekt für eine interaktive Geometrie-Software in die Vorlage des Nachweises erfolgt."
indir.biz Editor: Dieses Programm ist eine interaktive Geometrie-Software mit dem Nachweis verbundenen Funktionen ist.
Der Nachweis für eine interaktive Geometrie-Software in der Produktion des Projekts auftritt.
Coq Beweis-Assistent mit der Geometrie GeoProof Theoreme auf die automatische und interaktive Beweise kommunizieren können.

---

Ein Projekt von Julien Narboux Grundlage GeoProof von François Nicolas DrGeoCaml initiiert wurde entwickelt.

---

Features <br> ausführliche Liste der Funktionen:
Fünf Arten von geometrischen Objekten: Punkte, Linien, Kreise, Vektoren und Segmente
drei Transformationen: zentrale Symmetrie, Übersetzung und axiale Symmetrie - zum Bau einer Neun-Punkte-Pfad
Linie -
fünf Möglichkeiten zu schaffen, die
Follow-Automatik Satz kann jetzt eine kostenlose GeoProof 0.5beta kann als dynamische Teile eines Kreises bewiesen werden
So erstellen Sie eine Drei-Wege-Text-Labels.