OP-00089 Lean verified Strict interlacing across block Lanczos iterations NA · block Lanczos methods · eigenvalue interlacing · OpenProblemsInNLA · Ritz values
OP-00229 Solution claimed Spectral-gap-independent constants for randomized block polynomial interpolation NA · block Lanczos methods · matrix polynomials · OpenProblemsInNLA · random matrices