gesponserte Links
Beschreibung

"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.

gesponserte Links

KOMMENTARE

Einloggen oder registrieren, um einen Kommentar zu hinterlassen.

Stimmen der Besucher

4 Star  
  22

Mitglied raten

4 Star  
  54

Ortalama oy:

3,8

1  2  3  4  5
4.545