AMIGeO is a geometry solver and an educational e-learning program that solves problems in Euclidean/plane geometry and produces human-like geometry proofs that aid greatly in the teaching/learning of plane geometry in middle/high school. It is a great asset to add to your maths toolbox to improve your education and learning process.
This is the free version of AMIGeO. For full power, think about using AMIGeO.