Proth numbers
From MaRDI portal
Publication:502695
DOI10.2478/forma-2014-0013zbMath1352.11010OpenAlexW4244921654MaRDI QIDQ502695
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
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
This page was built for publication: Proth numbers
