Pages that link to "Item:Q3177796"

The following pages link to On the Complexity of the Orbit Problem (Q3177796):

Displaying 18 items.

• Effective results on the Skolem problem for linear recurrence sequences (Q1634425) (← links)
• First-order orbit queries (Q2048201) (← links)
• On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond (Q2051775) (← links)
• Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
• Polynomially ambiguous probabilistic automata on restricted languages (Q2121470) (← links)
• O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
• On the Identity Problem for the Special Linear Group and the Heisenberg Group. (Q5002819) (← links)
• On Affine Reachability Problems (Q5089216) (← links)
• (Q5089224) (← links)
• (Q5090452) (← links)
• Polynomially Ambiguous Probabilistic Automata on Restricted Languages (Q5091267) (← links)
• On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (Q5092447) (← links)
• The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465) (← links)
• Solving Skolem's problem for the \(k\)-generalized Fibonacci sequence with negative indices (Q6187125) (← links)
• Model checking linear dynamical systems under floating-point rounding (Q6535340) (← links)
• On the identity and group problems for complex Heisenberg matrices (Q6623013) (← links)
• Porous invariants for linear systems (Q6632205) (← links)
• Identity testing for radical expressions (Q6649437) (← links)