Pages that link to "Item:Q4680730"
From MaRDI portal
The following pages link to Some decision problems on integer matrices (Q4680730):
Displayed 10 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 the problem of freeness of multiplicative matrix semigroups (Q2268869) (← 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)
- Mortality Problem for 2×2 Integer Matrices (Q5448666) (← links)