
06124934
j
2013a.00499
Smith, Christopher J.
Tefera, Akalu
Zeleke, Aklilu
Computerized proof techniques for undergraduates.
Int. J. Math. Educ. Sci. Technol. 43, No. 8, 10671077 (2012).
2012
Taylor \& Francis, Abingdon, Oxfordshire
EN
E55
U75
I35
Gosper's algorithm
Zeilberger's algorithm
combinatorial identities
recurrence equations
WilfZeilberger
doi:10.1080/0020739X.2011.644335
Summary: The use of computer algebra systems such as Maple and Mathematica is becoming increasingly important and widespread in mathematics learning, teaching and research. In this article, we present computerized proof techniques of Gosper, WilfZeilberger and Zeilberger that can be used for enhancing the teaching and learning of topics in discrete mathematics. We demonstrate by examples how one can use these computerized proof techniques to raise students' interests in the discovery and proof of mathematical identities and enhance their problemsolving skills.