GeoProof è un software per la geometria interattiva. Consente di creare figure geometriche e di manipolarle con il mouse. Con GeoProof si può studiare, ad esempio, ciò che succede se si cambia la posizione dei punti di una figura ed esportare il risultato nell'ambiente "assistente di prova Coq" (un sistema di gestione) per provarla interattivamente.
GeoProof consente di operare con:
- 5 tipi di oggetti geometrici (punti, linee, circonferenze, vettori e segmenti),
- 3 trasformazioni (simmetria centrale, traslazione, simmetria assiale),
- 9 modi per costruire un punto,
- 5 modi per costruire una linea,
- 3 modi per costruire una circonferenza,
- etichette di testo dinamiche.
GeoProof è in grado di leggere vari formati di file (.kig, .zir, .drg), così come di esportarne (.svg, .png, .jpeg, .bmp).
Scaricabile dalla rete:
http://home.gna.org/geoproof/
