Computing in Euclidean geometry | lit.salon