OP-00123 Lean verified Random column subsets of arbitrary fixed-sparsity matrices PR · OpenProblemsInNLA · smallest singular values · sparse matrices
OP-00209 Solution claimed Sharp sparsity threshold for injectivity of a random sparse rectangular matrix PR · OpenProblemsInNLA · smallest singular values · sparse random matrices · subspace injections
OP-00225 Solution claimed Sharp row-deletion singular-value limit for spherical random matrices NA · Kaczmarz methods · OpenProblemsInNLA · random matrices · smallest singular values
OP-00226 Solution claimed Optimal uniform row-deletion singular-value constant NA · corrupted linear systems · Kaczmarz methods · OpenProblemsInNLA · smallest singular values