Proof — Miller–Rabin primality test

Statement

Polynomial-time primality; deterministic under ERH. Proved in ZFC.

Source

Donald E. Knuth Prize 2013. Polynomial-time primality; deterministic under ERH. Proved in ZFC.

Domains

computer-science

People

• Gary Miller

Related

• Theorem: Miller–Rabin primality test
• Proof: Miller–Rabin primality test

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People