Instale o Java Geometry Expert, um provador automático de teoremas geométricos, no Ubuntu, Fedora, Debian e outras distribuições Linux com Flatpak

Geometria dinâmica + provas automatizadas