AMIGeO: Geometry Solver

AMIGeO 是一个几何求解器和教育电子学习程序，可以解决欧几里德/平面几何中的问题，并生成类似人类的几何证明，极大地帮助初中/高中平面几何的教学/学习。添加到您的数学工具箱以改善您的教育和学习过程是一项重要的资产。