OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Scalar/
1034 declarations, 0 contain sorry, 0 declared as axioms; 160 files
Files
- BoundedDerivativeGraph.lean 5 declarations
- BoundedKernelConvolution.lean 5 declarations
- BoundedSpatialJetBilinear.lean 10 declarations
- BoundedSpatialJetConvolution.lean 12 declarations
- BoundedSpatialJetCurves.lean 4 declarations
- BoundedSpatialJetDifferentiation.lean 3 declarations
- BoundedSpatialJetIntegral.lean 6 declarations
- BoundedSpatialJetJointSmooth.lean 17 declarations
- BoundedSpatialJetKernelDependence.lean 7 declarations
- BoundedSpatialJetLinear.lean 12 declarations
- BoundedSpatialJetOperators.lean 16 declarations
- BoundedSpatialJetProduct.lean 10 declarations
- BoundedSpatialJetTimeDerivative.lean 2 declarations
- BoundedSpatialJetTranslation.lean 7 declarations
- BoundedSpatialJets.lean 30 declarations
- CompactParameterIntegral.lean 5 declarations
- HeatComparison.lean 1 declarations
- HeatGaussianBounds.lean 4 declarations
- JetVolterraFixedPoint.lean 19 declarations
- PeriodicHeatEquation.lean 3 declarations
- PeriodicHeatMass.lean 3 declarations
- PeriodicHeatModes.lean 13 declarations
- PeriodicHeatPoisson.lean 1 declarations
- PeriodicHeatSeries.lean 8 declarations
- PlaneBarrier.lean 11 declarations
- PlaneClassicalRegularity.lean 5 declarations
- PlaneCoefficientBounds.lean 7 declarations
- PlaneCoefficientJets.lean 6 declarations
- PlaneCoefficientTimeJets.lean 16 declarations
- PlaneCompactC1L2.lean 5 declarations
- PlaneCompactH2.lean 6 declarations
- PlaneCompactIntegration.lean 4 declarations
- PlaneCompactL2.lean 3 declarations
- PlaneCompactTransport.lean 2 declarations
- PlaneCutoffCoefficients.lean 1 declarations
- PlaneCutoffLimit.lean 3 declarations
- PlaneCylinderCalculus.lean 4 declarations
- PlaneCylinderComponents.lean 10 declarations
- PlaneCylinderL2.lean 5 declarations
- PlaneCylinderSolution.lean 3 declarations
- PlaneDerivativeTail.lean 8 declarations
- PlaneEnergyLimit.lean 2 declarations
- PlaneFiniteDivergence.lean 1 declarations
- PlaneFluid.lean 7 declarations
- PlaneFluidBounds.lean 4 declarations
- PlaneGradientTail.lean 2 declarations
- PlaneHeatAppliedContinuity.lean 6 declarations
- PlaneHeatDataEquation.lean 15 declarations
- PlaneHeatDuhamelEquation.lean 5 declarations
- PlaneHeatEquation.lean 6 declarations
- PlaneHeatInitialContinuity.lean 15 declarations
- PlaneHeatKernel.lean 26 declarations
- PlaneHeatKernelBounds.lean 15 declarations
- PlaneHeatLaplacian.lean 5 declarations
- PlaneHeatOperator.lean 10 declarations
- PlaneHeatSmoothing.lean 8 declarations
- PlaneHeatSourceDerivative.lean 1 declarations
- PlaneHeatSourceEquation.lean 9 declarations
- PlaneHeatSourceJetDerivative.lean 1 declarations
- PlaneHeatTimeContinuity.lean 19 declarations
- PlaneHeatTimeDerivative.lean 8 declarations
- PlaneHeatTimeLipschitz.lean 4 declarations
- PlaneHeatTransfer.lean 4 declarations
- PlaneHessianTail.lean 4 declarations
- PlaneImpulseScalar.lean 3 declarations
- PlaneIntegralBounds.lean 3 declarations
- PlaneInteriorCalculus.lean 7 declarations
- PlaneL2Continuity.lean 4 declarations
- PlaneL2Derivative.lean 2 declarations
- PlaneL2Lift.lean 5 declarations
- PlaneLineDerivatives.lean 4 declarations
- PlaneMassConservation.lean 1 declarations
- PlaneMassContinuity.lean 2 declarations
- PlaneMaximumCompact.lean 2 declarations
- PlaneMaximumPrinciple.lean 1 declarations
- PlaneMovingMass.lean 1 declarations
- PlaneMovingTest.lean 1 declarations
- PlanePeriodicBounds.lean 4 declarations
- PlaneScalarComparison.lean 6 declarations
- PlaneScalarDischarge.lean 1 declarations
- PlaneScalarGlobal.lean 6 declarations
- PlaneScalarInput.lean 5 declarations
- PlaneScalarMildActualEquation.lean 1 declarations
- PlaneScalarMildData.lean 8 declarations
- PlaneScalarMildDataFields.lean 3 declarations
- PlaneScalarMildDerivatives.lean 9 declarations
- PlaneScalarMildEquation.lean 6 declarations
- PlaneScalarMildHeatForm.lean 18 declarations
- PlaneScalarMildJetTime.lean 9 declarations
- PlaneScalarMildJointSmooth.lean 3 declarations
- PlaneScalarMildKernels.lean 30 declarations
- PlaneScalarMildPeriodicity.lean 15 declarations
- PlaneScalarMildPointwise.lean 6 declarations
- PlaneScalarMildSmooth.lean 9 declarations
- PlaneScalarMildSource.lean 11 declarations
- PlaneScalarMildSourceRegularity.lean 9 declarations
- PlaneScalarMildTimeEquation.lean 7 declarations
- PlaneScalarMildTimeSmooth.lean 11 declarations
- PlaneScalarMildTruncation.lean 18 declarations
- PlaneScalarRegularity.lean 3 declarations
- PlaneScalarScaling.lean 5 declarations
- PlaneScalarSupersolution.lean 2 declarations
- PlaneScalarTail.lean 2 declarations
- PlaneSobolevContinuity.lean 4 declarations
- PlaneSobolevL2.lean 4 declarations
- PlaneSobolevSlices.lean 3 declarations
- PlaneSquareContinuity.lean 3 declarations
- PlaneStrongDerivative.lean 2 declarations
- PlaneTailBounds.lean 4 declarations
- PlaneTailProfile.lean 11 declarations
- PlaneTailShift.lean 3 declarations
- PlaneTaylorControl.lean 3 declarations
- PlaneTestIntegral.lean 5 declarations
- PlaneTimeRegularity.lean 11 declarations
- PlaneUnitImpulse.lean 16 declarations
- PlaneWeightedEvolution.lean 2 declarations
- ScalarBounds.lean 5 declarations
- ScalarBurstError.lean 2 declarations
- ScalarCharacteristics.lean 6 declarations
- ScalarComparison.lean 5 declarations
- ScalarCompositionBounds.lean 2 declarations
- ScalarDecayMain.lean 1 declarations
- ScalarDuhamelCoefficients.lean 8 declarations
- ScalarEuclideanLaplacian.lean 5 declarations
- ScalarGlobalExistence.lean 6 declarations
- ScalarMassCalculus.lean 7 declarations
- ScalarMassEvolution.lean 4 declarations
- ScalarMassSolution.lean 4 declarations
- ScalarMaximumCalculus.lean 5 declarations
- ScalarMaximumPrinciple.lean 8 declarations
- ScalarPositivity.lean 1 declarations
- ScalarTimeWindow.lean 2 declarations
- ScalarTransportBounds.lean 4 declarations
- ScalarZeroExtension.lean 5 declarations
- SpatialParameterDerivatives.lean 4 declarations
- TorusHeatBoundaryRegularity.lean 8 declarations
- TorusHeatBounds.lean 3 declarations
- TorusHeatConcentration.lean 6 declarations
- TorusHeatEvolution.lean 5 declarations
- TorusHeatEvolutionSmooth.lean 5 declarations
- TorusHeatGaussianBound.lean 10 declarations
- TorusHeatInitialContinuity.lean 3 declarations
- TorusHeatInput.lean 6 declarations
- TorusHeatIntegrationByParts.lean 2 declarations
- TorusHeatKernelEquation.lean 10 declarations
- TorusHeatLaplacianTransfer.lean 7 declarations
- TorusHeatLattice.lean 5 declarations
- TorusHeatMass.lean 3 declarations
- TorusHeatPeriodicity.lean 3 declarations
- TorusHeatPositiveSmooth.lean 3 declarations
- TorusHeatSolution.lean 2 declarations
- TorusHeatTimeDerivative.lean 3 declarations
- TorusScalarDischarge.lean 1 declarations
- TorusScalarInput.lean 8 declarations
- VolterraDifferentiation.lean 2 declarations
- WeaklySingularContinuity.lean 9 declarations
- WeaklySingularEquation.lean 15 declarations
- WeaklySingularIntegral.lean 11 declarations
- WeaklySingularOperator.lean 16 declarations
- WeaklySingularWeighted.lean 11 declarations