Pages that link to "Item:Q3462041"

The following pages link to Polynomial-time algorithm for the orbit problem (Q3462041):

Displaying 28 items.

• A linear-time algorithm for the orbit problem over cyclic groups (Q303693) (← links)
• Continuous-time orbit problems are decidable in polynomial-time (Q458374) (← links)
• Products of matrices and recursively enumerable sets (Q473201) (← links)
• The orbit problem is in the GapL hierarchy (Q626456) (← links)
• The continuous Skolem-Pisot problem (Q708215) (← links)
• Porous invariants (Q832262) (← links)
• On the membership of invertible diagonal and scalar matrices (Q870838) (← links)
• Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem (Q972847) (← links)
• Algorithms for matrix groups and the Tits alternative (Q1288201) (← links)
• On solutions of linear ordinary difference equations in their coefficient field (Q1581126) (← links)
• Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
• First-order orbit queries (Q2048201) (← links)
• Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
• Polynomially ambiguous probabilistic automata on restricted languages (Q2121470) (← links)
• Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928) (← links)
• The Invariance Problem for Matrix Semigroups (Q2811359) (← links)
• On the decidability of semigroup freeness (Q2905326) (← links)
• Reachability in Linear Dynamical Systems (Q3507439) (← links)
• The Orbit Problem Is in the GapL Hierarchy (Q3511324) (← links)
• MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (Q3601323) (← links)
• O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
• (Q5090452) (← links)
• On Reachability Problems for Low-Dimensional Matrix Semigroups (Q5091195) (← links)
• Polynomially Ambiguous Probabilistic Automata on Restricted Languages (Q5091267) (← links)
• Semicomputable points in Euclidean spaces (Q5092426) (← links)
• (Q5111259) (← links)
• REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS (Q5483458) (← links)