OP-00107 Lean verified Concave unitary-orbit subadditivity without monotonicity FA · concave functions · matrix subadditivity · OpenProblemsInNLA · unitary orbits
OP-00538 Open The full three-dimensional Newton minimum-resistance problem OC · AIM Open Applied Problems · concave functions · Newton's problem of minimal resistance · shape optimization