Plane Euclidean Geometry/Libraries