Revision #2281 → #2927 · back to history
addedDynamical systems59e1ebb55d08
modifiedLinear differential equation253f44b1e951
| Field | From #2281 | To #2927 |
|---|
| note | Mathlib has ODE infrastructure but no dedicated definition of a linear differential equation; the 'linear differential' hits found are Kähler differentials, not ODEs. | Mathlib has ODE infrastructure but no dedicated definition of a linear differential equation as such. |
addedLinearization09eb9e0448cc
addedChaos and irreversibility71b3b6a7ad7e
addedDifferential and difference equations997f0f118d38
addedNewton's methodb421af04e434
addedOccam's razor6abd27a94bde
addedNewton's laws2f7ae140cca5
addedMaxwell's equations969a27f954d2
addedSchrödinger equation8eca5422a3d9
addedEuclidean geometry3a3d9e7bc2c9
addedRegular expression7da7c3267213
modifiedPopulation growth model90c0d78314d0
| Field | From #2281 | To #2927 |
|---|
| note | No Malthusian/exponential population growth model is formalized in Mathlib (the exp-growth files found concern asymptotic growth rates, not this model). | No Malthusian/exponential population growth model is formalized in Mathlib. |
addedOrdinal utility function089a58206da1
addedPareto efficiency98fb90d84d1e