Die Beschreibung von
AMIGeO: Euclidean Geometry Problem Solver
Amigeo ist ein Bildungsprogramm, das Probleme in der euklidischen / ebenen Geometrie löst und humanähnliche Beweise produziert, die bei der Lehre / Erlernen der Flugzeuggeometrie in der Mittel- / Highschool erheblich helfen.