Methods for Euclidean Geometry door Owen Byer & Felix Lazebnik