Proth numbers

DOI10.2478/forma-2014-0013zbMath1352.11010OpenAlexW4244921654MaRDI QIDQ502695

Christoph Schwarzweller

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0013

zbMATH Keywords

prime numbersPepin's theoremPocklington's theoremProth's theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Factorization; primality (11A51) Primality (11Y11)

Related Items (4)

Algorithm NextFit for the bin packing problem ⋮ Prime representing polynomial ⋮ Introduction to Diophantine approximation ⋮ Flexary connectives in Mizar

Cites Work

• Unnamed Item
• Semantics of MML Query - Ordering
• Operations of Points on Elliptic Curve in Projective Coordinates

This page was built for publication: Proth numbers