Title: Computing in Euclidean Geometry