Computational Synthetic Geometry by Jürgen Bokowski