GeoProof for Linux 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.

---

Bases para un proyecto de Julien Narboux Linux GeoProof Nicolas François iniciado por su DrGeoCaml desarrollados.

---

características
Lista detallada de características:
Y cinco tipos de objetos geométricos: puntos, líneas, círculos, vectores y segmentos
tres transformaciones: simetría simetría central, la traducción, y axial - nueve maneras de construir a una <br> punto una línea
cinco maneras de crear la
demostrar el teorema de seguimiento automático utilizando 0.5beta Linux puede ser gratis para descargar GeoProof dinámica partes de un círculo
Para crear una etiqueta de texto de tres vías ya.