In the spring of 2003, Margaret Richey and I studied several examples that link mathematical induction with recursive programming. The main idea is to find results saying that a certain task can be performed. A proof of such a result often mirrors a computer program that carries out the task. Margaret wrote proofs and programs for several different results. The most difficult of these results was a problem posed in the December, 2002 issue of Mathematics Magazine. Here is a PDF version of our solution.
I presented our project at a meeting of the Consortium of Computing Sciences in Colleges ( CCSC ) held in Warrensburg, MO in April of 2004. A paper based on the project was published in the Journal of Computing in Small Colleges (published by CCSC). Here is a PDF version of our paper.