Research Repository

Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction

McAndrew, Alasdair (2010) Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction. PRIMUS, 20 (7). pp. 591-602. ISSN 1051-1970 (print) 1935-4053 (online)

Full text for this resource is not available from the Research Repository.


Mathematical induction is one of the major proof techniques taught to mathematics students in the first years of their undergraduate degrees. In addition to its importance to mathematics, induction is also required for computer science and related disciplines. However, even if the concepts of a proof by induction are taught and understood, many students fall down on the algebra required to prove the inductive step. Using a computer algebra system allows students to leap this particular hurdle, and thus expend more effort in understanding the concepts of proofs by induction. An added advantage is that students can prove statements requiring far messier algebra than is reasonable to expect them to do by hand.

Item Type: Article
Uncontrolled Keywords: ResPubID21671, undergraduate mathematics education, computer algebra system, mathematical induction
Subjects: Historical > Faculty/School/Research Centre/Department > School of Engineering and Science
Current > FOR Classification > 0102 Applied Mathematics
Related URLs:
Depositing User: VUIR
Date Deposited: 21 May 2012 04:43
Last Modified: 21 Jun 2012 07:03
ePrint Statistics: View download statistics for this item
Citations in Scopus: 0 - View on Scopus

Repository staff only

View Item View Item

Search Google Scholar