OP-00077 Lean verified Is the ideal GMRES bound sharp for every Jordan block? NA · GMRES · Jordan blocks · Krylov subspace methods · OpenProblemsInNLA
OP-00080 Lean verified A sharp subset bound for worst-case normal GMRES NA · GMRES · normal matrices · OpenProblemsInNLA · polynomial approximation