The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
G Kenison - Leibniz International Proceedings in …, 2024 - researchonline.ljmu.ac.uk
Hypergeometric sequences are rational-valued sequences that satisfy first-order linear
recurrence relations with polynomial coefficients; that is,< un>∞ n= 0 is hypergeometric if it …
recurrence relations with polynomial coefficients; that is,< un>∞ n= 0 is hypergeometric if it …
The membership problem for hypergeometric sequences with rational parameters
We investigate the Membership Problem for hypergeometric sequences: given a
hypergeometric sequence❬ un❭∞ n= 0 of rational numbers and a target t∈ Q, decide …
hypergeometric sequence❬ un❭∞ n= 0 of rational numbers and a target t∈ Q, decide …
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
G Kenison, K Nosan, M Shirmohammadi… - Proceedings of the 2023 …, 2023 - dl.acm.org
Hypergeometric sequences are rational-valued sequences that satisfy first-order linear
recurrence relations with polynomial coefficients; that is, a hypergeometric sequence is one …
recurrence relations with polynomial coefficients; that is, a hypergeometric sequence is one …
[PDF][PDF] Zero problems in polynomial models
K Nosan - 2024 - irif.fr
Polynomial models are ubiquitous in computer science, arising in the study of automata and
formal languages, optimisation, game theory, control theory, and numerous other areas. In …
formal languages, optimisation, game theory, control theory, and numerous other areas. In …
On termination and divergence of linear programs
M Hosseini - 2021 - ora.ox.ac.uk
The objective of this thesis is to shed some light on the boundaries of decidability by
answering some of the central problems in the study of linear programs, and to provide an …
answering some of the central problems in the study of linear programs, and to provide an …