La descripción de
AMIGeO: Euclidean Geometry Problem Solver
Amigeo es un programa educativo que resuelve problemas en la geometría euclidiana / avión y produce pruebas similares a los humanos que ayudan en gran medida en la enseñanza / aprendizaje de la geometría plana en la escuela media / secundaria.