TY - RPRT TI - Interactive proofs with approximately commuting provers AU - Matthew Coudron AU - Thomas Vidick PY - 2015 UR - https://arxiv.org/abs/1510.00102 ID - 1510.00102 ER -