Computerized proof techniques for undergraduates (Q4900163)
From MaRDI portal
scientific article; zbMATH DE number 6124934
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computerized proof techniques for undergraduates |
scientific article; zbMATH DE number 6124934 |
Statements
Computerized proof techniques for undergraduates (English)
0 references
14 January 2013
0 references
Gosper's algorithm
0 references
Zeilberger's algorithm
0 references
combinatorial identities
0 references
recurrence equations
0 references
Wilf-Zeilberger
0 references
