Cited in
(8)- Model checking linear dynamical systems under floating-point rounding
- Skolem and positivity completeness of ergodic Markov chains
- Quantum temporal logic and reachability problems of matrix semigroups
- Completing the picture for the Skolem problem on order-4 linear recurrence sequences
- Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups
- Twisted rational zeros of linear recurrence sequences
- On large zeros of linear recurrence sequences
- Reachability in linear recurrence automata
This page was built for publication: Skolem meets schanuel
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584014)
