Wilf–Zeilberger algorithm
GPTKB entity
Statements (45)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
algorithm
|
| gptkbp:appliesTo |
special functions
hypergeometric series |
| gptkbp:basedOn |
creative telescoping
|
| gptkbp:developedBy |
gptkb:Herbert_Wilf
Doron_Zeilberger |
| gptkbp:firstIntroduced |
1990
|
| gptkbp:hasCitations |
not universally applicable
requires specific input depends on computational resources |
| gptkbp:hasRelatedPatent |
theoretical physics
computer science mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Wilf–Zeilberger algorithm
|
| gptkbp:isA |
proof technique
combinatorial algorithm symbolic algorithm |
| gptkbp:isCitedIn |
textbooks
conference proceedings research articles academic papers dissertations |
| gptkbp:isConsidered |
important in analysis
important in algebra important in combinatorics important in number theory |
| gptkbp:isLocatedIn |
Maple
Mathematica SageMath |
| gptkbp:isPartOf |
algorithmic combinatorics
|
| gptkbp:isRelatedTo |
Gosper's algorithm
|
| gptkbp:isUsedFor |
improved algorithms
heuristic methods new techniques simplify expressions find closed forms generate proofs |
| gptkbp:isUsedIn |
education
research algorithm design |
| gptkbp:provides |
automatic proofs
|
| gptkbp:relatedTo |
symbolic computation
combinatorial identities |
| gptkbp:usedFor |
proving identities
|
| gptkbp:utilizes |
difference equations
|