OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Detector/ExpandingForceBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Terminating rational bounds for the force on any supplied space-time box. Only the initial viscosity approximation and a finite instruction prefix enter.

  1. def OAI.ForcedComputation.ExpandingDetector.residualBoxBound line 13
  2. theorem OAI.ForcedComputation.ExpandingDetector.residualBoxBound_spec line 17
  3. def OAI.ForcedComputation.ExpandingDetector.expandingForceBoxBound line 44
  4. theorem OAI.ForcedComputation.ExpandingDetector.expandingForceBoxBound_spec line 50