Computational Synthetic Geometry door Jürgen Bokowski