Map · 34
ordinary differential equations
MSC 34 · Ordinary differential equations
141 declarations (121 theorems, 20 definitions) across 5 files. 1 of the 8 famous theorems listed for this area are in Mathlib (13%).
Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.
Subareas1
- 34A General theory for ordinary differential equations 141
Famous theorems1 of 8
From the 1000+ theorems project, which classifies each theorem by MSC area.
Not yet in Mathlib · 7
In Mathlib · 1
- Picard–Lindelöf theoremIsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt
Files5
Largest first. The code after each file is its assigned subarea.
- Mathlib.Analysis.ODE.PicardLindelof
Picard-Lindelöf (Cauchy-Lipschitz) Theorem
34A · 72
- Mathlib.Analysis.ODE.Transform
Translation and scaling of integral curves
34A · 19
- Mathlib.Analysis.ODE.Basic
Integral curves of vector fields on a normed vector space
34A · 18
- Mathlib.Analysis.ODE.Gronwall
Grönwall's inequality
34A · 17
- Mathlib.Analysis.ODE.ExistUnique
Existence and uniqueness of solutions to ODEs
34A · 15