WZ (mathematics, Wilf–Zeilberger pair)

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:describes pair of functions
gptkbp:field combinatorics
symbolic computation
https://www.w3.org/2000/01/rdf-schema#label WZ (mathematics, Wilf–Zeilberger pair)
gptkbp:introducedIn 1990s
gptkbp:namedAfter gptkb:Doron_Zeilberger
gptkb:Herbert_Wilf
gptkbp:relatedTo gptkb:Zeilberger's_algorithm
hypergeometric summation
gptkbp:usedFor automated proof of hypergeometric identities
gptkbp:bfsParent gptkb:WZ
gptkbp:bfsLayer 7