Computational synthetic geometry