TY  - RPRT
TI  - Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups
AU  - François Le Gall
AU  - Tomoyuki Morimae
AU  - Harumichi Nishimura
AU  - Yuki Takeuchi
PY  - 2018
DO  - 10.4230/lipics.mfcs.2018.26
UR  - https://arxiv.org/abs/1805.03385
ID  - 1805.03385
ER  -