Some negative results concerning prime number generators

DOI10.1145/69605.357970zbMath0589.10001OpenAlexW2013594612MaRDI QIDQ3717107

Paul A. Pritchard

Publication date: 1984

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/6382

zbMATH Keywords

Chinese remainder theoremcounter-exampleprogram verificationcomputational number theoryprogram testingalgorithmic proofMisra programprime number generatorsWirth's program

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to number theory (11-04) Primes (11A41) Algorithms in computer science (68W99)

Related Items (1)

Extraction and verification of programs by analysis of formal proofs

This page was built for publication: Some negative results concerning prime number generators