Another look at automated theorem-proving
Work
Year: 2007
Type: article
Abstract: I examine the use of automated theorem-proving for reductionist security arguments in cryptography and discuss three papers that purport to show the potential of computer-assisted proofwriting and pro... more
Author Neal Koblitz
Cites: 18
Cited by: 10
Related to: 10
FWCI:
Citation percentile (by year/subfield): 84.64
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze