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 whether t occurs in the sequence. We show decidability of this problem under the assumption that in the defining recurrence p(n)un = q(n)un-1, the...
मुख्य लेखकों: | Nosan, K, Pouly, A, Shirmohammadi, M, Worrell, J |
---|---|
स्वरूप: | Conference item |
भाषा: | English |
प्रकाशित: |
Association for Computing Machinery
2022
|
समान संसाधन
-
The Membership Problem for hypergeometric sequences with quadratic parameters
द्वारा: Kenison, G, और अन्य
प्रकाशित: (2023) -
On the computation of the Zariski closure of finitely generated groups of matrices
द्वारा: Nosan, K, और अन्य
प्रकाशित: (2022) -
On the decidability of membership in matrix-exponential semigroups
द्वारा: Ouaknine, J, और अन्य
प्रकाशित: (2019) -
Identity testing for radical expressions
द्वारा: Balaji, N, और अन्य
प्रकाशित: (2022) -
Hypergeometric-type sequences
द्वारा: Teguia Tabuguia, B
प्रकाशित: (2024)