Geometry Explorer, a geometry information and conclusion prover implemented in C++