Web Links for Chapter 2
Page 66, Proofs
The Math Department at California State
Univeristy,
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.