Geometry Expert ( GEX ) es un paquete de software chino para el dibujo dinámico de diagramas y la demostración y el descubrimiento automatizados de teoremas geométricos.
Existe una nueva versión china de Geometry Expert, llamada MMP/Geometer .
Java Geometry Expert es gratuito bajo la Licencia Pública General GNU .
Enlaces externos
- Sitio web oficial de GEX
- Java GEX ( antiguo , nuevo. Archivado el 20/07/2011 en Wayback Machine ) en la Universidad Estatal de Wichita.
- Documentación de Java GEX en la Universidad Estatal de Wichita
Categorías :
- Sistemas de software para la demostración de teoremas
- Demostración automatizada de teoremas
- Software de geometría interactiva