Chapter 10, Computer Assisted Proofs and Self-Validating Methods
Siegfried M. Rump
Figure 10.1 IBM Prime Letterhead
An earlier Mersenne Prime is available in a
postmark from the University of Illinois at Champaign-Urbana
and a later in a regular
postage stamp from Liechtenstein.