jgex

Créez des constructions géométriques dynamiques, utilisez des expérimentations de théorèmes géométriques automatisés et présentez des épreuves grâce à des affichages dynamiques visuels avec jgex. Sa particularité est la combinaison de ces trois fonctions dans un seul programme, qui relie la construction, la preuve et la présentation.

jgex fonctionne sur les systèmes Linux avec snap et prend en charge l'architecture x86 64 (amd64). Il est développé par Kovács Zoltán, avec la version 0.88 disponible sous licence open-source.