Quantum advantage on proof of work.

Dan A. Bard Joseph J. Kearney Carlos A. Pérez-Delgado

Published in: Array (2022)

Keyphrases

theorem prover
quantum computation
theorem proving
quantum mechanics
database
machine learning
multi agent
data structure
special case
mathematical proofs
geometry theorem proving