Decision Problems for Linear Recurrence Sequences

DOI10.1007/978-3-642-33512-9_3zbMath1298.11015OpenAlexW12758337MaRDI QIDQ4899140

Joël Ouaknine, James Worrell

Publication date: 7 January 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33512-9_3

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Recurrences (11B37) Decidability of theories and sets of sentences (03B25)

Related Items (18)

Porous invariants ⋮ Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes ⋮ Effective results on the Skolem problem for linear recurrence sequences ⋮ Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains ⋮ Lonely points in simplices ⋮ Order bounds for C2-finite sequences ⋮ Magic Numbers in Periodic Sequences ⋮ Decision Questions for Probabilistic Automata on Small Alphabets ⋮ On the abc$abc$ conjecture in algebraic number fields ⋮ Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems ⋮ Exact optimal values of step-size coefficients for boundedness of linear multistep methods ⋮ Approximate Verification of the Symbolic Dynamics of Markov Chains ⋮ On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond ⋮ On Affine Reachability Problems ⋮ On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond ⋮ Complexity of Restricted Variants of Skolem and Related Problems ⋮ An extension of holonomic sequences: \(C^2\)-finite sequences ⋮ On eventual non-negativity and positivity for the weighted sum of powers of matrices

This page was built for publication: Decision Problems for Linear Recurrence Sequences