Web Links for Chapter 2

Page 66, Proofs

The Math Department at California State Univeristy, San Bernardino has help with proofs at http://www.math.csusb.edu/notes/cgi/contents.cgi.

Cut-the-Knot discusses a variety of proof techniques at http://www.cut-the-knot.com/proofs/index.html.

Page 84, Great Internet Mersenne Prime Search

The link is at http://www.mersenne.org. On August 23, 2008, the 45th known Mersenne prime was found. The number has 12,978,189 decimal digits.

Page 93, Mathematical Induction

See my own site mathinduction.pdf as well as http://www.geocities.com/CapeCanaveral/Launchpad/2426/page139.html and http://www.math.csusb.edu/notes/cgi/contents.cgi.

Page 99, A Tiling Problem

My own text-based tiling program in C is at trom.c . A C program by Anthony Quas, University of Memphis, to output a tiling in postscript format is at tiles.c. An animation of the algorithm can be found at Christopher P. Mawata’s site http://www.utc.edu/~cpmawata/trominos/. A list of algorithm animations is at http://www.cs.hope.edu/~dershem/reu/posters97/brummund/research/ccaa/site.html.