Pages that link to "Item:Q5383986"
From MaRDI portal
The following pages link to Positivity Problems for Low-Order Linear Recurrence Sequences (Q5383986):
Displaying 6 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)
- Termination of linear loops under commutative updates (Q6060374) (← links)
