Verifying Sierpinski and Riesel Numbers in ACL2

John R. Cowles Ruben Gamboa

Published in: ACL2 (2011)

Keyphrases

model checking
natural language learning
metadata
neural network
information systems
control system
object oriented
lightweight
computational model