Gosper's decision procedure

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:algorithm
gptkbp:alsoKnownAs gptkb:Gosper's_algorithm
gptkbp:field computer algebra
symbolic computation
https://www.w3.org/2000/01/rdf-schema#label Gosper's decision procedure
gptkbp:input hypergeometric term
gptkbp:introducedIn 1978
gptkbp:inventedBy gptkb:Bill_Gosper
gptkbp:notableFor automatic summation of hypergeometric series
gptkbp:output closed form sum
gptkbp:publishedIn gptkb:Journal_of_Symbolic_Computation
gptkbp:purpose find closed forms for indefinite hypergeometric sums
gptkbp:relatedTo gptkb:Zeilberger's_algorithm
hypergeometric term
gptkbp:usedIn computer algebra systems
gptkbp:bfsParent gptkb:Gosper's_algorithm
gptkbp:bfsLayer 5