GeoProof for Linux

0.5beta

 
Lizenz: Kostenlos
Preis:
$0
Bewertung:
Downloads: 4
Betriebssystem: Linux
Datum: 2009-03-02
Größe: 25.19 MB
Herausgeber: Julien Narboux
Verwandte Software:

Beschreibung für GeoProof for Linux

GeoProof for Linux Programm-Icon

Dieses Programm ist eine interaktive Geometrie-Software mitNachweis verbundenen Funktionen. Das Projekt besteht inErzeugung einer interaktiven Beweis Software für Geometrie. GeoProof kann mitCoq Beweis-Assistent,die automatische und interaktive BeweiseGeometrie Theoreme durchführenkommunizieren. GeoProof für Linux wird hauptsächlich durch Julien Narboux von einem Projekt namens DrGeoCaml von Nicolas Fran initiiert entwickelt? Ois. Features ...

Fügen Sie Ihre Meinung

Meinungen Benutzers