Geoproof für Linux. Das Projekt besteht darin, eine interaktive Proof-Software für die Geometrie herzustellen.
Jetzt downloaden

Geoproof für Linux. Ranking & Zusammenfassung

Geoproof für Linux. Stichworte

Linux wassup Software Nokia N73 Software. mp3 cutter Software Antiviren-JAR-Software c Linux. Navigator für Linux. BDE Linux x ymailisg yahoo. Kostenlose SD-Diskette. tar linux ratDVD linux JAR-Software Sony.

Geoproof für Linux. Beschreibung

Dieses Programm ist eine interaktive Geometrie-Software mit dem Beweisfunktionen. Das Projekt besteht darin, eine interaktive Proof-Software für die Geometrie herzustellen. Geoproof kann mit dem COQ-Proof-Assistenten kommunizieren, um automatische und interaktive Beweise von Geometrie-Theorems durchzuführen. Geoproof für Linux wird hauptsächlich von Julien Narboux aus einem von Nicolas François initiierten Drantocaml-Projekt entwickelt. Merkmale Detaillierte Funktionsliste: -Flive Arten von geometrischen Objekten: Punkte, Linien, Kreise, Vektoren und Segmente -three-Transformationen: Zentralsymmetrie, Übersetzung und Axialsymmetrie - neun Wege, um einen Punkt zu bauen -Ferne Möglichkeiten, eine Zeile zu bauen -three Wege, einen Kreis zu bauen -Text-Etiketten mit dynamischen Teilen, die der folgende sein können -Automierte Theorem-Provision mit

Geoproof für Linux. Zugehörige Software