Map · 49
optimization
MSC 49 · Calculus of variations and optimal control; optimization
13 declarations (13 theorems, 0 definitions) across 2 files. 0 of the 3 famous theorems listed for this area are in Mathlib (0%). 1 open conjectures here are stated in Lean.
Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.
Subareas1
- 49K Optimality conditions 13
Famous theorems0 of 3
From the 1000+ theorems project, which classifies each theorem by MSC area.
Not yet in Mathlib · 3
Open conjectures stated in Lean1
Statements without proofs, collected by the Formal Conjectures project.
Files2
Largest first. The code after each file is its assigned subarea.
- Mathlib.Topology.Sion
Formalization of Sion's version of the von Neumann minimax theorem
49K · 8
- Mathlib.Analysis.Calculus.LagrangeMultipliers
Lagrange multipliers
49K · 5