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):  
2008 ◽  
Vol 128 (7) ◽  
pp. 1916-1940 ◽  
Author(s):  
Michael Filaseta ◽  
Carrie Finch ◽  
Mark Kozek

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

2015 ◽  
Vol 150 ◽  
pp. 41-46 ◽  
Author(s):  
Carrie Finch ◽  
Lenny Jones
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document