Computerized proof techniques for undergraduates

DOI10.1080/0020739X.2011.644335zbMath1286.97005MaRDI QIDQ4900163

Christopher J. Smith, Akalu Tefera, Aklilu Zeleke

Publication date: 14 January 2013

Published in: International Journal of Mathematical Education in Science and Technology (Search for Journal in Brave)

zbMATH Keywords

combinatorial identitiesrecurrence equationsZeilberger's algorithmGosper's algorithmWilf-Zeilberger

Mathematics Subject Classification ID

Sequences and series (educational aspects) (97I30) Technological tools, calculators (aspects of mathematics education) (97U70) Reasoning and proving in the mathematics classroom (97E50)

Uses Software

• Maple
• Mathematica

Cites Work

• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• A Wilf-Zeilberger Approach to Sums of Choi, Zörnig and Rathie
• Sums of Choi, Zörnig, and Rathie — an elementary approach
• Decision procedure for indefinite hypergeometric summation