scholarly journals Verifying Sierpiński and Riesel Numbers in ACL2

2011 ◽  
Vol 70 ◽  
pp. 20-27
Author(s):  
John R. Cowles ◽  
Ruben Gamboa
Keyword(s):  
Riesel Numbers

scholarly journals On powers associated with Sierpiński numbers, Riesel numbers and Polignac's conjecture

2008 ◽  
Vol 128 (7) ◽  
pp. 1916-1940 ◽  
Author(s):  
Michael Filaseta ◽  
Carrie Finch ◽  
Mark Kozek
Keyword(s):  
Sierpinski Numbers ◽  
Riesel Numbers

scholarly journals Nonlinear Sierpiński and Riesel numbers

2013 ◽  
Vol 133 (2) ◽  
pp. 534-544 ◽  
Author(s):  
Carrie Finch ◽  
Joshua Harrington ◽  
Lenny Jones
Keyword(s):  
Riesel Numbers

scholarly journals Perfect power Riesel numbers

2015 ◽  
Vol 150 ◽  
pp. 41-46 ◽  
Author(s):  
Carrie Finch ◽  
Lenny Jones
Keyword(s):  
Riesel Numbers
Sign in / Sign up

Export Citation Format

Share Document