# 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.

Last modified: January 23, 2006