Tag: provador automático de teoremas geométricos

Posts do autor

Imagem com a logomarca do Java Geometry Expert

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

Por Jardeson Márcio

08/02/2026

Geometria dinâmica + provas automatizadas