Login / Signup
Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups.
François Le Gall
Tomoyuki Morimae
Harumichi Nishimura
Yuki Takeuchi
Published in:
CoRR (2018)
Keyphrases
</>
special case
theorem proving
artificial intelligence
np hard
website
lower bound
scheduling problem
user friendly