Home > Menu > Scheda del prodotto

GeoProof

Autore
Julien Narboux 
Versione
2006
Pagina web del prodotto
http://home.gna.org/geoproof/  
Licenza
Software Libero 
Descrizione
Software interattivo di matematica dinamica per l'insegnamento della geometria
Materie
Matematica
Argomento
Geometria
Scuole
Secondaria 2 grado
Strategia didattica
Ambiente aperto
Lingua
Francese, Inglese
Prerequisiti
Nozioni fondamentali di geometria; conoscenza del piano cartesiano 
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/
Immagine di esempio di GeoProof
Cliccare sulle immagini per ingrandirle
Risorse presenti sul DVD

Manuale d'uso in francese [link]

Risorse informative online
Disponibile una mailing list
Disponibile una serie di video tutoriali  
ITD - Istituto per le Tecnologie Didattiche