TY - RPRT TI - Rigorous computations with an approximate Dirichlet domain AU - Maria Trnková PY - 2017 DO - 10.1016/j.topol.2019.106900 UR - https://arxiv.org/abs/1703.02595 ID - 1703.02595 ER -