TY - RPRT TI - Can one design a geometry engine? On the (un)decidability of affine Euclidean geometries AU - J. A. Makowsky PY - 2018 UR - https://arxiv.org/abs/1712.07474 ID - 1712.07474 ER -