Computational Synthetic Geometry