The following pages link to The Polyhedron-Hitting Problem (Q5362998):
Displaying 11 items.
- First-order orbit queries (Q2048201) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
- (Q5089224) (← links)
- (Q5090452) (← links)
- Complexity of Restricted Variants of Skolem and Related Problems (Q5111295) (← links)
- (Q5111354) (← links)
- The polyhedral Tammes problem (Q5943214) (← links)
- Affine Loop Invariant Generation via Matrix Algebra (Q6487319) (← links)
- Porous invariants for linear systems (Q6632205) (← links)
- On the Skolem problem and the Skolem conjecture (Q6649433) (← links)