Pages that link to "Item:Q4899140"

The following pages link to Decision Problems for Linear Recurrence Sequences (Q4899140):

Displaying 23 items.

• Porous invariants (Q832262) (← links)
• Effective results on the Skolem problem for linear recurrence sequences (Q1634425) (← links)
• Exact optimal values of step-size coefficients for boundedness of linear multistep methods (Q1744041) (← links)
• On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond (Q2051775) (← links)
• An extension of holonomic sequences: \(C^2\)-finite sequences (Q2100068) (← links)
• On eventual non-negativity and positivity for the weighted sum of powers of matrices (Q2104554) (← links)
• Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems (Q2211202) (← links)
• Lonely points in simplices (Q2679594) (← links)
• Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains (Q2946750) (← links)
• Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes (Q5051360) (← links)
• On Affine Reachability Problems (Q5089216) (← links)
• On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (Q5092447) (← links)
• Complexity of Restricted Variants of Skolem and Related Problems (Q5111295) (← links)
• Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948) (← links)
• Decision Questions for Probabilistic Automata on Small Alphabets (Q6137871) (← links)
• On the abc$abc$ conjecture in algebraic number fields (Q6144275) (← links)
• A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)
• MDPs as distribution transformers: affine invariant synthesis for safety objectives (Q6535681) (← links)
• Hypergeometric-type sequences (Q6543086) (← links)
• Positivity-hardness results on Markov decision processes (Q6566469) (← links)
• Porous invariants for linear systems (Q6632205) (← links)
• On the Skolem problem and the Skolem conjecture (Q6649433) (← links)
• On \(C^2\)-finite sequences (Q6666540) (← links)