OP-00099 Lean verified A universal block-norm characterization of essentially Hermitian matrices FA · block matrices · numerical ranges · OpenProblemsInNLA
OP-00234 Solution claimed Complete Crouzeix conjecture FA · matrix polynomials · numerical ranges · OpenProblemsInNLA · spectral sets