NetMath.
NetMath Project ist ein Webbrowser, mit dem Webseiten modifizierbare Berechnungen enthalten können. ...
 | GeoproofGeoproof-Projekt ist eine dynamische Geometrieanwendung mit nachweisbaren Funktionen. |
| Jetzt downloaden | |
Geoproof Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Billy
- Website des Verlags:
- http://www.swarmthe.com
Geoproof Stichworte
Geoproof Beschreibung
Das Geoproof-Projekt ist eine dynamische Geometrieanwendung mit Beweisfunktionen. Das Geoproof-Projekt ist eine dynamische Geometrieanwendung mit Nachweisfunktionen. Es kann mit dem COQ-Proof-Assistenten kommunizieren, um automatische und interaktive Proofs der theorems durchzuführen. Das Projekt besteht darin, eine interaktive Proof-Software für Geometrie zu erzeugen. Führen Sie automatische und interaktive Beweise von Geometrie-Theorems aus. Geoproof wird hauptsächlich von Julien Narboux von einem von Nicolas Franiois initiierten Projekt namens Dr. Drigocaml entwickelt. Hier sind einige wichtige Merkmale von "geopof": · Berechnungen erfolgen dank der Krealbibliothek von Jean-Christophe Fillitre mit willkürlicher Genauigkeit dank der Krealbibliothek. · Einige Theorems können mit den von John Harrison implementierten automatisierten Theorem-Provisionsmethoden überprüft werden. · Geoproof kann mit Coqide (einer Benutzeroberfläche für COQ) kommunizieren. Der Benutzer kann eine Konstruktion mit Geoproof erstellen, und die entsprechende Formel wird automatisch in die Syntax von CoQ übersetzt.
Geoproof Zugehörige Software
Jroobot
JRobot-Projekt ist ein komplettes Werkzeug, um den Mitsubishi RVM1-Roboter zu manipulieren. ...
Pingos TippTrainer.
Pingos TippTrainer-Projekt ist ein Touch-Typing-Trainer, der deutsche und englische Tastaturlayouts unterstützt. ...