Pages that link to "Item:Q5383986"
From MaRDI portal
The following pages link to Positivity Problems for Low-Order Linear Recurrence Sequences (Q5383986):
Displaying 29 items.
- Continuous-time orbit problems are decidable in polynomial-time (Q458374) (← links)
- Reachability problems for Markov chains (Q477610) (← links)
- Analyzing ultimate positivity for solvable systems (Q897909) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Exact optimal values of step-size coefficients for boundedness of linear multistep methods (Q1744041) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← 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)
- A comparison of algorithms for proving positivity of linearly recurrent sequences (Q2109988) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Recurrence relations, succession rules and the positivity problem (Q2424677) (← links)
- Difference Equation Theory Meets Mathematical Finance (Q3387111) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
- (Q5009460) (← links)
- (Q5015397) (← links)
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes (Q5051360) (← links)
- Ultimate periodicity problem for linear numeration systems (Q5075706) (← links)
- (Q5089280) (← links)
- (Q5089308) (← links)
- On Reachability Problems for Low-Dimensional Matrix Semigroups (Q5091195) (← links)
- (Q5092319) (← links)
- On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (Q5092447) (← links)
- (Q5094125) (← links)
- On Petri Nets with Hierarchical Special Arcs (Q5111656) (← links)
- (Q5155677) (← links)
- On the complexity of algebraic numbers, and the bit-complexity of straight-line programs1 (Q6048002) (← links)
- Decision Questions for Probabilistic Automata on Small Alphabets (Q6137871) (← links)
- Computing error bounds for asymptotic expansions of regular P-recursive sequences (Q6181106) (← links)
