The following pages link to Solvable matrices (Q1901822):
Displaying 6 items.
- Generalization of the Chinese remainder theorem (Q946010) (← links)
- Solutions of Z-matrix equations (Q1106915) (← links)
- Tautologies and positive solvability of linear homogeneous systems (Q1192331) (← links)
- Two tractable subclasses of minimal unsatisfiable formulas (Q1961649) (← links)
- Number representation of satisfiability (Q1977919) (← links)
- Towards logical operations research -- propositional case (Q5957908) (← links)