TY - RPRT TI - Exact Computation for Existence of a Knot Counterexample AU - T. J. Peters AU - K. Marinelli PY - 2017 UR - https://arxiv.org/abs/1711.10276 ID - 1711.10276 ER -