OP-00086 Lean verified Johnson's derivative-realizability conjecture NA · critical points · inverse eigenvalue problems · nonnegative matrices · OpenProblemsInNLA
OP-00161 Open Finiteness for nonnegative rational matrix families DS · finiteness property · joint spectral radius · nonnegative matrices · OpenProblemsInNLA
OP-00166 Partially resolved Critical exponent for generalized doubly nonnegative matrices NA · critical exponents · matrix powers · nonnegative matrices · OpenProblemsInNLA
OP-00201 Partially resolved Two-vertex certification of nonsingular sign regularity NA · interval matrices · OpenProblemsInNLA · sign regular matrices · totally nonnegative matrices