OAI/MathematicalPhysics/NavierStokes/BalancedTransport/
1056 declarations, 0 contain sorry, 0 declared as axioms; 60 files
Files
- BoxCoding.lean 38 declarations
- Bridge.lean 15 declarations
- CompactFamilies.lean 10 declarations
- Comparison.lean 4 declarations
- CompiledGeometry.lean 22 declarations
- ComputabilityRules.lean 25 declarations
- ComputableInitial.lean 6 declarations
- Deformation.lean 8 declarations
- EffectiveArithmetic.lean 32 declarations
- EffectiveConstruction.lean 4 declarations
- EffectiveExp.lean 11 declarations
- EffectiveGluing.lean 21 declarations
- EffectiveLog.lean 17 declarations
- Elementary.lean 24 declarations
- ElementaryCalculus.lean 16 declarations
- ElementaryFields.lean 29 declarations
- ElementaryJets.lean 15 declarations
- ElementaryMotion.lean 33 declarations
- ElementaryParking.lean 2 declarations
- ElementaryRouting.lean 6 declarations
- ElementaryTemplate.lean 11 declarations
- Energy.lean 10 declarations
- EnergyCurve.lean 12 declarations
- EnergySlice.lean 8 declarations
- FieldBounds.lean 15 declarations
- FiniteSimulator.lean 15 declarations
- FlatBounds.lean 19 declarations
- Loading.lean 26 declarations
- MachineHalting.lean 18 declarations
- MachineRecursion.lean 38 declarations
- MainResult.lean 1 declarations
- Material.lean 10 declarations
- Model.lean 51 declarations
- Motion.lean 20 declarations
- MotionField.lean 28 declarations
- NumericAlgebra.lean 23 declarations
- NumericBounds.lean 5 declarations
- NumericDifferentiation.lean 9 declarations
- NumericEvaluation.lean 19 declarations
- NumericJets.lean 13 declarations
- NumericPrograms.lean 16 declarations
- NumericScopes.lean 14 declarations
- OracleComputability.lean 6 declarations
- Parking.lean 15 declarations
- Periodic.lean 19 declarations
- PrefixCoding.lean 35 declarations
- RationalAlgorithms.lean 14 declarations
- Realization.lean 2 declarations
- RecorderRules.lean 34 declarations
- RecorderSimulation.lean 34 declarations
- RelativeForce.lean 14 declarations
- ResidualRegularity.lean 21 declarations
- RhoAlgorithms.lean 23 declarations
- Routing.lean 9 declarations
- Sobolev.lean 19 declarations
- TemporalJets.lean 16 declarations
- TimeRegularity.lean 25 declarations
- UniversalInput.lean 9 declarations
- UniversalMachine.lean 2 declarations
- Work.lean 40 declarations