Pages that link to "Item:Q4680730"
From MaRDI portal
The following pages link to Some decision problems on integer matrices (Q4680730):
Displayed 17 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)