George Kenison
George Kenison
Home
Publications
Posts
CV
Light
Dark
Automatic
Threshold Problem
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
×