The membership problem for hypergeometric sequences with rational parameters

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...

Bibliografske podrobnosti
Main Authors:	Nosan, K, Pouly, A, Shirmohammadi, M, Worrell, J
Format:	Conference item
Jezik:	English
Izdano:	Association for Computing Machinery 2022

Podobne knjige/članki

The Membership Problem for hypergeometric sequences with quadratic parameters
od: Kenison, G, et al.
Izdano: (2023)

On the computation of the Zariski closure of finitely generated groups of matrices
od: Nosan, K, et al.
Izdano: (2022)

On the decidability of membership in matrix-exponential semigroups
od: Ouaknine, J, et al.
Izdano: (2019)

Identity testing for radical expressions
od: Balaji, N, et al.
Izdano: (2022)

Hypergeometric-type sequences
od: Teguia Tabuguia, B
Izdano: (2024)

On Rationality of Nonnegative Matrix Factorization
od: Chistikov, D, et al.
Izdano: (2017)

On rational recursion for holonomic sequences
od: Teguia Tabuguia, B, et al.
Izdano: (2024)

A parametric version of the Hilbert Nullstellensatz
od: Ait El Manssour, R, et al.
Izdano: (2025)

Basic Hypergeometric Functions as Limits of Elliptic Hypergeometric Functions
od: Fokko J. van de Bult, et al.
Izdano: (2009-06-01)

PPAD-membership for problems with exact rational solutions: a general approach via convex optimization
od: Filos-Ratsikas, A, et al.
Izdano: (2024)

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
od: Diekert, V, et al.
Izdano: (2020)

The inverse and derivative connecting problems for some hypergeometric polynomials
od: L. Bedratyuk, et al.
Izdano: (2018-12-01)

On Summations of Generalized Hypergeometric Functions with Integral Parameter Differences
od: Kirill Bakhtin, et al.
Izdano: (2024-05-01)

The hypergeometric function /
od: Marhaini Mohamad Ibrahim, 1990-, et al.
Izdano: (2012)

Hypergeometric series representations of Feynman integrals by GKZ hypergeometric systems
od: René Pascal Klausen
Izdano: (2020-04-01)

An application of hypergeometric functions to a problem in function theory
od: Daniel S. Moak
Izdano: (1984-01-01)

Derivatives of any Horn-type hypergeometric functions with respect to their parameters
od: Vladimir V. Bytev, et al.
Izdano: (2020-03-01)

A Generalization of the Hypergeometric Distribution
od: E.K. Elsheikh, et al.
Izdano: (2000-12-01)

Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem
od: Fijalkow, N, et al.
Izdano: (2017)

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
od: Fijalkow, N, et al.
Izdano: (2017)

A new generalization of gamma, beta hypergeometric and confluent hypergeometric functions
od: Rakesh Kumar Parmar
Izdano: (2013-11-01)

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
od: Fijalkow, N, et al.
Izdano: (2019)

On some hypergeometric Sobolev orthogonal polynomials with several continuous parameters
od: Sergey Zagorodnyuk
Izdano: (2023-10-01)

On unitarity of the hypergeometric amplitude
od: Gareth Mansfield, et al.
Izdano: (2025-02-01)

Hypergeometric Euler numbers
od: Takao Komatsu, et al.
Izdano: (2020-01-01)

Hypergeometric Functions in MATHLAB
od: Wilson, Lewis
Izdano: (2004)

Generalized hypergeometric functions /
od: 370061 Slater, Lucy Joan
Izdano: (1966)

On the Monniaux Problem in abstract interpretation
od: Fijalkow, N, et al.
Izdano: (2019)

New Zero-Free Regions for Hypergeometric Zeta and Fractional Hypergeometric Zeta Functions
od: Demessie Ergabus Birmechu, et al.
Izdano: (2022-01-01)

Reduction Formulas for Generalized Hypergeometric Series Associated with New Sequences and Applications
od: Junesang Choi, et al.
Izdano: (2021-10-01)

Basic hypergeometric series and applications /
od: 361573 Fine, Nathan J.
Izdano: (1988)

On the generalized Gauss hypergeometric function
od: N. A. Virchenko
Izdano: (2008-03-01)

The fully compressed subgroup membership problem
od: Linton, M
Izdano: (2023)

Integral Representations of Ratios of the Gauss Hypergeometric Functions with Parameters Shifted by Integers
od: Alexander Dyachenko, et al.
Izdano: (2022-10-01)

Solution of abel‐type hypergeometric integral equation
od: A. A. Kilbas, et al.
Izdano: (1997-12-01)

Decision Problems for Linear Recurrence Sequences.
od: Ouaknine, J, et al.
Izdano: (2012)

On hypergeometric generalized negative binomial distribution
od: M. E. Ghitany, et al.
Izdano: (2002-01-01)

Positivity of the hypergeometric Coon amplitude
od: Bo Wang
Izdano: (2024-04-01)

Discrete Hypergeometric Legendre Polynomials
od: Tom Cuchta, et al.
Izdano: (2021-10-01)

The Confluent Hypergeometric Beta Distribution
od: Saralees Nadarajah, et al.
Izdano: (2023-05-01)