Title: Computational Synthetic Geometry