OAI/Analysis/HenonEmden/
875 declarations, 0 contain sorry, 0 declared as axioms; 96 files
Files
- AdaptiveCaps.lean 13 declarations
- Angular.lean 5 declarations
- AngularBounds.lean 7 declarations
- AngularIntegration.lean 3 declarations
- AngularLoss.lean 6 declarations
- AngularMeasurability.lean 10 declarations
- AngularPressure.lean 5 declarations
- CapContinuity.lean 5 declarations
- CapGeometry.lean 10 declarations
- CapLoss.lean 5 declarations
- CapMismatch.lean 4 declarations
- CapOscillation.lean 5 declarations
- CapWeights.lean 21 declarations
- ComponentWeights.lean 23 declarations
- Components.lean 28 declarations
- Cutoff.lean 66 declarations
- CutoffOscillation.lean 8 declarations
- CutoffSmooth.lean 2 declarations
- CutoffTaylor.lean 5 declarations
- DirectionalPressure.lean 1 declarations
- Distribution.lean 6 declarations
- Endpoints.lean 13 declarations
- Energy.lean 12 declarations
- FarInteraction.lean 12 declarations
- FarLocalization.lean 7 declarations
- FundamentalSolution.lean 5 declarations
- GlobalLoss.lean 6 declarations
- Gradients.lean 19 declarations
- Harmonic.lean 4 declarations
- IntegratedPressure.lean 2 declarations
- IntegratedRecovery.lean 5 declarations
- Interaction.lean 13 declarations
- InteractionBounds.lean 8 declarations
- Intervals.lean 49 declarations
- KernelBalls.lean 4 declarations
- LayerAssembly.lean 21 declarations
- LayerIntegration.lean 7 declarations
- LayerPressure.lean 18 declarations
- LayerRecovery.lean 4 declarations
- LayerSplit.lean 9 declarations
- LineCoordinates.lean 15 declarations
- LocalizationIntegral.lean 11 declarations
- Main.lean 2 declarations
- MassGrowth.lean 3 declarations
- MeasureShuffle.lean 2 declarations
- Model.lean 3 declarations
- Mollification.lean 15 declarations
- NearLocalization.lean 13 declarations
- NewtonBounds.lean 11 declarations
- NewtonPotential.lean 12 declarations
- OriginBounds.lean 9 declarations
- OriginCutoff.lean 4 declarations
- OriginVirial.lean 3 declarations
- PDEPressure.lean 3 declarations
- PairPressure.lean 10 declarations
- PairRecovery.lean 9 declarations
- Polar.lean 8 declarations
- PotentialContinuity.lean 6 declarations
- PressureEstimate.lean 9 declarations
- PressureMismatch.lean 2 declarations
- PressureRecovery.lean 8 declarations
- ProductBounds.lean 6 declarations
- RadialCalculus.lean 12 declarations
- RadialGeometry.lean 6 declarations
- RadialGradient.lean 1 declarations
- RadialIntegration.lean 2 declarations
- RadialJoint.lean 4 declarations
- RadialKernel.lean 2 declarations
- RadialODE.lean 11 declarations
- RadialTaylor.lean 3 declarations
- RealInteraction.lean 4 declarations
- RelativeLocalization.lean 5 declarations
- RelativePressure.lean 1 declarations
- RootRecovery.lean 6 declarations
- Scaling.lean 11 declarations
- ShortComponents.lean 6 declarations
- SourceEndpoints.lean 5 declarations
- SourceMass.lean 19 declarations
- Sources.lean 10 declarations
- SpatialComponents.lean 9 declarations
- SpatialEndpoints.lean 8 declarations
- SpatialPressure.lean 10 declarations
- SphereCaps.lean 6 declarations
- SphereFlux.lean 8 declarations
- SphereMean.lean 19 declarations
- SymmetricVirial.lean 4 declarations
- Tails.lean 2 declarations
- Tonelli.lean 13 declarations
- UniformBounds.lean 20 declarations
- UniformEnergy.lean 3 declarations
- VirialCalculus.lean 3 declarations
- WeakForm.lean 16 declarations
- WeakOrigin.lean 7 declarations
- WeightedEndpoints.lean 7 declarations
- WeightedEnergy.lean 10 declarations
- WeightedVirial.lean 2 declarations