OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Flow/
1008 declarations, 0 contain sorry, 0 declared as axioms; 98 files
Files
- CompactEuclideanBounds.lean 6 declarations
- CompactEuclideanEnergy.lean 10 declarations
- CompactPeriodization.lean 14 declarations
- CompactPeriodizationDerivatives.lean 15 declarations
- CompactPeriodizationNS.lean 7 declarations
- CompactPlanarBounds.lean 9 declarations
- CompactPlanarFlow.lean 4 declarations
- CompactPlanarProcessor.lean 18 declarations
- CompactPlanarVariations.lean 3 declarations
- CompactTimeSupport.lean 3 declarations
- EuclideanConjugacy.lean 5 declarations
- EuclideanDerivativeBounds.lean 14 declarations
- EuclideanFlowBounds.lean 3 declarations
- EuclideanReverseVariations.lean 5 declarations
- EuclideanVariations.lean 9 declarations
- FlowMixedPartials.lean 4 declarations
- FlowNonautonomous.lean 2 declarations
- FlowPathIntegral.lean 10 declarations
- FlowPicardSmooth.lean 8 declarations
- FlowPicardSolution.lean 6 declarations
- FlowPointwise.lean 6 declarations
- FlowSmooth.lean 5 declarations
- FlowSuperposition.lean 5 declarations
- FlowVariational.lean 2 declarations
- FourShearSchedule.lean 27 declarations
- HamiltonianStartup.lean 2 declarations
- OrderedSweep.lean 9 declarations
- PlanarActionOrder.lean 25 declarations
- PlanarActionUnique.lean 8 declarations
- PlanarAnisotropic.lean 19 declarations
- PlanarBranchAnchors.lean 12 declarations
- PlanarBranchBounds.lean 15 declarations
- PlanarBranchOrder.lean 6 declarations
- PlanarBranchStages.lean 13 declarations
- PlanarClearance.lean 9 declarations
- PlanarClockMargins.lean 7 declarations
- PlanarCompactBridge.lean 3 declarations
- PlanarCompactLift.lean 10 declarations
- PlanarConcatenation.lean 3 declarations
- PlanarConjugacy.lean 14 declarations
- PlanarCutoff.lean 12 declarations
- PlanarDerivativeBounds.lean 10 declarations
- PlanarDormantAnchors.lean 10 declarations
- PlanarDormantMargin.lean 12 declarations
- PlanarDormantZero.lean 19 declarations
- PlanarFlowSmooth.lean 9 declarations
- PlanarHamiltonian.lean 40 declarations
- PlanarInactive.lean 19 declarations
- PlanarInitialShift.lean 17 declarations
- PlanarIteration.lean 3 declarations
- PlanarMixedBounds.lean 13 declarations
- PlanarNeighborhood.lean 3 declarations
- PlanarNeighborhoodMotion.lean 13 declarations
- PlanarObservation.lean 2 declarations
- PlanarOrdering.lean 22 declarations
- PlanarParking.lean 26 declarations
- PlanarPeriodicProperties.lean 13 declarations
- PlanarPerturbations.lean 8 declarations
- PlanarPrimitiveBounds.lean 6 declarations
- PlanarProcessorData.lean 14 declarations
- PlanarProcessorMain.lean 10 declarations
- PlanarProcessorOrbit.lean 9 declarations
- PlanarProcessorUnconditional.lean 2 declarations
- PlanarProgram.lean 28 declarations
- PlanarProgramBounds.lean 14 declarations
- PlanarPulse.lean 36 declarations
- PlanarPulseExpressions.lean 36 declarations
- PlanarRecorder.lean 26 declarations
- PlanarReverseVariations.lean 5 declarations
- PlanarSchedule.lean 10 declarations
- PlanarSegments.lean 11 declarations
- PlanarSparseStages.lean 14 declarations
- PlanarStepBranch.lean 1 declarations
- PlanarSuspensionBridge.lean 6 declarations
- PlanarTiming.lean 16 declarations
- PlanarTransition.lean 10 declarations
- PlanarTranslation.lean 14 declarations
- PlanarTubes.lean 11 declarations
- PlanarVariationDischarge.lean 3 declarations
- PlanarVariations.lean 7 declarations
- ProcessorFlowSmooth.lean 7 declarations
- SecondDerivativeBounds.lean 4 declarations
- SecondVariationSharp.lean 2 declarations
- SparsePulseCurves.lean 7 declarations
- SparseStageIntervals.lean 5 declarations
- SparseSuspension.lean 1 declarations
- SpatialSuspension.lean 8 declarations
- SuspensionConcatenation.lean 4 declarations
- SuspensionExpressions.lean 18 declarations
- SuspensionIteration.lean 4 declarations
- SuspensionObservation.lean 4 declarations
- SuspensionPerturbations.lean 4 declarations
- SuspensionPotentials.lean 9 declarations
- TorusVariationsDischarge.lean 2 declarations
- UniformForceBounds.lean 8 declarations
- UniformJetBounds.lean 10 declarations
- UnitSpatialClock.lean 12 declarations
- VariationBounds.lean 4 declarations