Pages that link to "Item:Q5167849"
From MaRDI portal
The following pages link to Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (Q5167849):
Displaying 27 items.
- Analyzing ultimate positivity for solvable systems (Q897909) (← links)
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
- Exact optimal values of step-size coefficients for boundedness of linear multistep methods (Q1744041) (← links)
- First-order orbit queries (Q2048201) (← links)
- On eventual non-negativity and positivity for the weighted sum of powers of matrices (Q2104554) (← links)
- A robust class of linear recurrence sequences (Q2105454) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Model checking QCTL plus on quantum Markov chains (Q2123051) (← links)
- Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems (Q2211202) (← links)
- Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928) (← links)
- Pumping lemmas for weighted automata (Q3304149) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
- On the Identity Problem for the Special Linear Group and the Heisenberg Group. (Q5002819) (← links)
- (Q5009460) (← links)
- (Q5089224) (← links)
- (Q5090452) (← links)
- (Q5111259) (← links)
- Complexity of Restricted Variants of Skolem and Related Problems (Q5111295) (← links)
- (Q5155668) (← links)
- (Q5155677) (← links)
- Beyond the Existential Theory of the Reals (Q6489317) (← links)
- Skolem and positivity completeness of ergodic Markov chains (Q6551702) (← links)
- On robustness for the Skolem, positivity and ultimate positivity problems (Q6563058) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
- Near-polynomial recursive sequences with algorithmically unsolvable problems (Q6570668) (← links)
- On the complexity of robust eventual inequality testing for C-finite functions (Q6623018) (← links)
- Computing the density of the positivity set for linear recurrence sequences (Q6649431) (← links)
