Playing Geometry - AI Maths solver - Rudolf Halmi