Stav dette: Computational synthetic geometry / Jürgen Bokowski, Bernd Sturmfels.