TY - RPRT TI - Rational proofs for quantum computing AU - Tomoyuki Morimae AU - Harumichi Nishimura PY - 2020 UR - https://arxiv.org/abs/1804.08868 ID - 1804.08868 ER -