GeoProof descarga

"Proyecto de un programa interactivo de geometría en la producción de pruebas se produce."
indir.biz Editor: Este programa es un software de geometría interactiva con la prueba de características relacionadas con la es.
La evidencia de un programa interactivo de geometría en la producción del proyecto se produce.
asistente Coq la prueba con los teoremas de la geometría GeoProof para realizar automática y pruebas interactivas se pueden comunicar.

---

Un proyecto de GeoProof Julien base Narboux iniciada por François Nicolas DrGeoCaml se ha desarrollado.

---

Características <br> detallada lista de características:
Y cinco tipos de objetos geométricos: puntos, líneas, círculos, vectores y segmentos
tres transformaciones: simetría central, la traducción, y la simetría axial - para construir un camino de nueve puntos
la línea -
cinco maneras de crear la
teorema de seguimiento automático de ahora puede descargar un 0.5beta GeoProof puede probarse como parte dinámica de un círculo
Para crear una de tres etiquetas de texto forma.