OP-00087 Lean verified Polynomial-size vertex test for inverse M-matrix intervals NA · interval matrices · inverse M-matrices · OpenProblemsInNLA
OP-00259 Solution claimed Exact solution hulls for inverse M-matrix intervals NA · interval matrices · inverse M-matrices · linear systems · OpenProblemsInNLA