Formal residue and computer-assisted proofs of combinatorial identities (Q5742818)
From MaRDI portal
scientific article; zbMATH DE number 7052129
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal residue and computer-assisted proofs of combinatorial identities |
scientific article; zbMATH DE number 7052129 |
Statements
Formal residue and computer-assisted proofs of combinatorial identities (English)
0 references
8 May 2019
0 references
formal residue
0 references
extended Zeilberger algorithm
0 references
Stirling number
0 references
0 references
