TY - RPRT TI - Decision problems for 3-manifolds and their fundamental groups AU - Matthias Aschenbrenner AU - Stefan Friedl AU - Henry Wilton PY - 2015 UR - https://arxiv.org/abs/1405.6274 ID - 1405.6274 ER -