Euclidean geometry problem solving