Decision Problems for Linear Recurrence Sequences
From MaRDI portal
Publication:4899140
DOI10.1007/978-3-642-33512-9_3zbMath1298.11015OpenAlexW12758337MaRDI QIDQ4899140
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
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
