OP-00122 Lean verified Finitely many unitary classes with prescribed shifted singular values NA · OpenProblemsInNLA · pseudospectra · unitary similarity
OP-00147 Open Deterministic regularization of the nonsymmetric eigenproblem NA · deterministic algorithms · eigenvector condition numbers · OpenProblemsInNLA · pseudospectra
OP-00235 Solution claimed A dimension-independent polynomial norm bound from super-identical pseudospectra NA · matrix polynomials · OpenProblemsInNLA · pseudospectra · singular values