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

---

Grundlage für ein Projekt von Julien Narboux Linux GeoProof Nicolas François durch seine DrGeoCaml eingeleitet entwickelt.

---

Features
Ausführliche Liste der Features:
Fünf Arten von geometrischen Objekten: Punkte, Linien, Kreise, Vektoren und Segmente
drei Transformationen: zentrale Symmetrie, Übersetzung und axiale Symmetrie - neun Möglichkeiten, um zu einem Punkt <br>-Linie zu bauen
fünf Möglichkeiten zu schaffen, die
Follow-automatische Beweisen unter Linux 0.5beta kann kostenlos zum Download GeoProof dynamischen Teile des Kreises
So erstellen Sie eine Drei-Wege-Text-Labels zu kaufen.