Açıklaması
AMIGeO: Euclidean Geometry Problem Solver
Amigeo, Euclidean / uçak geometrisinde problemleri çözen ve orta / lisede uçak geometrisinin öğretim / öğrenmesinde büyük ölçüde yardımcı olan insan benzeri kanıtları üreten bir eğitim programıdır.