Membership Problem

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