OP-00117 Lean verified Convexity of the expected error of volume-sampled column subsets NA · column subset selection · elementary symmetric polynomials · OpenProblemsInNLA · volume sampling
OP-00330 Open Classifying balanced elementary symmetric Boolean functions CO · AIM Open Applied Problems · elementary symmetric polynomials · symmetric Boolean functions