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

Схожие документы