Pages that link to "Item:Q4680730"

The following pages link to Some decision problems on integer matrices (Q4680730):

Displaying 18 items.

• On the membership of invertible diagonal and scalar matrices (Q870838) (← links)
• Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
• On injectivity of quantum finite automata (Q2229947) (← links)
• On the problem of freeness of multiplicative matrix semigroups (Q2268869) (← links)
• Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319) (← links)
• Some formal tools for analyzing quantum automata. (Q2490805) (← links)
• On the decidability of semigroup freeness (Q2905326) (← links)
• Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2971140) (← links)
• Vector Ambiguity and Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2988836) (← links)
• UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES (Q3065609) (← links)
• ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS (Q3069735) (← links)
• On the Identity Problem for the Special Linear Group and the Heisenberg Group. (Q5002819) (← links)
• On Affine Reachability Problems (Q5089216) (← links)
• On Reachability Problems for Low-Dimensional Matrix Semigroups (Q5091195) (← links)
• Acceptance Ambiguity for Quantum Automata (Q5092433) (← links)
• (Q5111259) (← links)
• Mortality Problem for 2×2 Integer Matrices (Q5448666) (← links)
• The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465) (← links)