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)

Recommendations

• scientific article; zbMATH DE number 797181
• Sierpiński and Riesel numbers in Narayana's cow sequence
• Generalized Sierpiński numbers
• Lucas-Sierpiński and Lucas-Riesel numbers
• Powers of Sierpiński Numbers Base b

Cites work

• On powers associated with Sierpiński numbers, Riesel numbers and Polignac's conjecture
• Sur un problème concernant les nombres \(k\cdot 2^n + 1\)
• 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)