OP-00080 Lean verified A sharp subset bound for worst-case normal GMRES NA · GMRES · normal matrices · OpenProblemsInNLA · polynomial approximation
OP-00160 Open Optimal sign approximation with a multiplication budget NA · matrix polynomials · matrix sign function · OpenProblemsInNLA · polynomial approximation
OP-00230 Solution claimed Multiplication overhead of cubic sign compositions NA · matrix sign function · OpenProblemsInNLA · polynomial approximation · polynomial compositions