OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/SlowDerivativeFormula.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exact finite formulas for every mixed derivative of the actual slow force.

  1. theorem OAI.ForcedComputation.mixedDerivative_quadraticPhase line 13
  2. theorem OAI.ForcedComputation.mixedDerivative_viscousPhase line 24
  3. theorem OAI.ForcedComputation.slowFromRest_mixed_formula line 35