Euclid

Euclid is a project to develop systems that solve math and geometry problems. Recently, it developed GeoS, an automated system that solves high school geometry problems by interpreting question diagrams and text in natural language. The system achieved a 49% score on official SAT questions and a 61% on practice SAT questions.

Source: http://allenai.org/euclid/