Proving Pearl: Knuth’s Algorithm for Prime Numbers
Author:
- 1 January 2003
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 304-318
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A Proof of GMP Square RootJournal of Automated Reasoning, 2002
- Formal and Efficient Primality Proofs by Use of Computer Algebra OraclesJournal of Symbolic Computation, 2001
- Proof of Imperative Programs in Type TheoryLecture Notes in Computer Science, 1999
- A Skeptic's Approach to Combining HOL and MapleJournal of Automated Reasoning, 1998
- Proofs from THE BOOK1998
- Floating point verification in HOL1995
- An axiomatic basis for computer programmingCommunications of the ACM, 1969