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

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

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)


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.

Dimensions Badge

Altmetric Badge

Item type Article
Subjects Historical > Faculty/School/Research Centre/Department > School of Engineering and Science
Historical > FOR Classification > 0102 Applied Mathematics
Keywords ResPubID21671, undergraduate mathematics education, computer algebra system, mathematical induction
Citations in Scopus 0 - View on Scopus
Download/View statistics View download statistics for this item

Search Google Scholar

Repository staff login