jgex

Creare costruzioni geometriche dinamiche, utilizzare teorema di geometria automatizzata, e presentare le prove attraverso display visivi e dinamici con jgex. La sua caratteristica distintiva è la combinazione di queste tre funzioni in un programma, che collega la costruzione, la prova e la presentazione.

jgex funziona su sistemi Linux con snapd e supporta l'architettura x86 64 (amd64). È sviluppato da Kovács Zoltán, con la versione 0.88 disponibile sotto una licenza open source.