NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ897200
Record Type: Journal
Publication Date: 2010
Pages: 12
Abstractor: As Provided
Reference Count: 7
ISSN: ISSN-1051-1970
Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction
McAndrew, Alasdair
PRIMUS, v20 n7 p591-602 2010
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.
Taylor & Francis, Ltd. 325 Chestnut Street Suite 800, Philadelphia, PA 19106. Tel: 800-354-1420; Fax: 215-625-2940; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: Higher Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A