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

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

A finite force program for eventually stationary computation, with analytic properties and terminating derivative evaluation.

  1. def OAI.ForcedComputation.stationaryCode line 12
  2. theorem OAI.ForcedComputation.stationaryCode_valid line 15
  3. def OAI.ForcedComputation.stationaryVelocity line 19
  4. def OAI.ForcedComputation.stationaryForce line 23
  5. theorem OAI.ForcedComputation.stationary_program_properties line 26
  6. theorem OAI.ForcedComputation.stationary_velocity_evaluate line 32
  7. theorem OAI.ForcedComputation.stationary_force_evaluate line 42
  8. theorem OAI.ForcedComputation.stationary_velocity_bound line 53
  9. theorem OAI.ForcedComputation.stationary_force_bound line 61
  10. theorem OAI.ForcedComputation.stationary_program_flows line 70