Geoproof per Linux. Il progetto consiste nella produzione di un software a prova interattiva per la geometria.
Scarica ora

Geoproof per Linux. Classifica e riepilogo

Geoproof per Linux. Tag

Linux. software wassup Software Nokia N73. Software di cutter MP3. software jar antivirus c linux. Navigatore per Linux. bde linux x ymailisg yahoo. Disco SD gratuito. TAR Linux. ratdvd linux. Software JAR Sony.

Geoproof per Linux. Descrizione

Questo programma è un software geometrico interattivo con funzionalità correlate a prova. Il progetto consiste nel produrre un software a prova interattiva per la geometria. La geoproof può comunicare con l'assistente a prova di Coq per eseguire prove automatiche e interattive di teoremi geometrici. Geoproof per Linux è sviluppato principalmente da Julien Narboux da un progetto chiamato Drgeocaml iniziato da Nicolas François. Caratteristiche Elenco delle caratteristiche dettagliate: - tipi di oggetti geometrici: punti, linee, cerchi, vettori e segmenti -Tre trasformazioni: simmetria centrale, traduzione e simmetria assiale - nove modi per costruire un punto -Five modi per costruire una linea -tre modi per costruire un cerchio -Text etichette con parti dinamiche che possono essere i seguenti -Automatato teorema che si dimostra utilizzando

Geoproof per Linux. Software correlato