A descrição de
AMIGeO: Euclidean Geometry Problem Solver
A Amigeo é um programa educacional que resolve problemas na geometria euclideia / plano e produz provas semelhantes a humanos que ajudam muito no ensino / aprendizagem da geometria plana no ensino médio / médio.