Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:alsoKnownAs |
creative telescoping
|
| gptkbp:appliesTo |
hypergeometric identities
|
| gptkbp:category |
algorithmic proof theory
symbolic summation |
| gptkbp:field |
gptkb:mathematics
computer algebra symbolic computation |
| https://www.w3.org/2000/01/rdf-schema#label |
Zeilberger's algorithm
|
| gptkbp:input |
hypergeometric term
|
| gptkbp:introducedIn |
1990
|
| gptkbp:namedAfter |
gptkb:Doron_Zeilberger
|
| gptkbp:output |
recurrence relation
|
| gptkbp:purpose |
automatic proof of hypergeometric identities
|
| gptkbp:relatedTo |
gptkb:Gosper's_algorithm
gptkb:Wilf–Zeilberger_pair |
| gptkbp:usedIn |
gptkb:Mathematica
gptkb:Maple computer algebra systems |
| gptkbp:bfsParent |
gptkb:Gosper's_algorithm
|
| gptkbp:bfsLayer |
5
|