Rockafellar, Part I: Basic Concepts #
R. T. Rockafellar, Convex Analysis (Princeton, 1970), §§1–5. All 49 numbered results of Part I are formalized. This module only imports the five section modules.
| § | module | subject |
|---|---|---|
| 1 | Part1.Section01 | Affine Sets |
| 2 | Part1.Section02 | Convex Sets and Cones |
| 3 | Part1.Section03 | The Algebra of Convex Sets |
| 4 | Part1.Section04 | Convex Functions |
| 5 | Part1.Section05 | Functional Operations |