George Kenison
George Kenison
Home
Publications
Posts
CV
Light
Dark
Automatic
hypergeometric sequences
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
Hypergeometric sequences are rational-valued sequences that satisfy first-order linear recurrence relations with polynomial …
G. Kenison
,
K. Nosan
,
M. Shirmohammadi
,
J. Worrell
PDF
Cite
DOI
arXiv
The Membership and Threshold Problems for Hypergeometric Sequences with Quadratic Parameters
The membership and threshold problems for recurrence sequences are fundamental open decision problems in automated verification. The …
G. Kenison
PDF
Cite
DOI
arXiv
Cite
×