Help on query formulation
Computerized proof techniques for undergraduates. (English)
Int. J. Math. Educ. Sci. Technol. 43, No. 8, 1067-1077 (2012).
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.
Classification: E55 U75 I35
Valid XHTML 1.0 Transitional Valid CSS!