Shor's algorithm
Statement
Polynomial-time quantum factoring; quantum period finding. Formalizable in ZFC (quantum circuits as mathematical objects).
Source
IMU Abacus Medal 1998. Polynomial-time quantum factoring; quantum period finding. Formalizable in ZFC (quantum circuits as mathematical objects).
Domains
computer-science