Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups.

Franois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi

Browse the full MFCS paper archive.