id: 06124934
dt: j
an: 2013a.00499
au: Smith, Christopher J.; Tefera, Akalu; Zeleke, Aklilu
ti: Computerized proof techniques for undergraduates.
so: Int. J. Math. Educ. Sci. Technol. 43, No. 8, 1067-1077 (2012).
py: 2012
pu: Taylor \& Francis, Abingdon, Oxfordshire
la: EN
cc: E55 U75 I35
ut: Gosper’s algorithm; Zeilberger’s algorithm; combinatorial identities;
recurrence equations; Wilf-Zeilberger
ci:
li: doi:10.1080/0020739X.2011.644335
ab: 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, Wilf-Zeilberger 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
problem-solving skills.
rv: