Computerized proof techniques for undergraduates

• Autores: Christopher J. Smith, Akalu Tefera, Aklilu Zeleke
• Localización: International journal of mathematical education in science and technology, ISSN 0020-739X, Vol. 43, Nº. 8, 2012, págs. 1067-1077
• Idioma: inglés
• DOI: 10.1080/0020739x.2011.644335
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.