Hyper-Automation System Applied to Geometry Demonstration Environment
Tiarajú A Diverio
Simone A Costa
Márcia R Notare
Júlio P Machado
Sistema para a Aprendizagem de Demonstrações da Geometria Euclidiana Plana - LEEG
Um Sistema de Aprendizagem de Demonstrações da Geometria Euclidiana Plana - LEEG