The following pages link to (Q5090452):
Displaying 7 items.
- First-order orbit queries (Q2048201) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928) (← links)
- Hypergeometric dispersion and the orbit problem (Q3454737) (← links)
- Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q4636627) (← links)
- (Q5089224) (← links)
- The orbit problem in higher dimensions (Q5495866) (← links)