Описание для
AMIGeO: Euclidean Geometry Problem Solver
Amigeo - это образовательная программа, которая решает проблемы геометрии евклидовых / самолетов и производит человеческие доказательства, которые помогают значительно в преподавании / изучении плоской геометрии в средней / старшей школе.