Pages that link to "Item:Q4899140"
From MaRDI portal
The following pages link to Decision Problems for Linear Recurrence Sequences (Q4899140):
Displaying 16 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)