Verifying Sierpiński and Riesel numbers in ACL2

DOI10.4204/eptcs.70.2MaRDI QIDQ6586530FDOQ6586530

Authors: John Cowles, Ruben A. Gamboa 

Publication date: 13 August 2024

Mathematics Subject Classification ID

Factorization (11Y05) Formalization of mathematics in connection with theorem provers (68V20) Factorization; primality (11A51)

Cites Work

• Sur un problème concernant les nombres \(k\cdot 2^n + 1\)
• On powers associated with Sierpiński numbers, Riesel numbers and Polignac's conjecture
• When does appending the same digit repeatedly on the right of a positive integer generate a sequence of composite integers?

This page was built for publication: Verifying Sierpiński and Riesel numbers in ACL2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6586530)