OAI/Geometry/NodalSets/Coefficients/
289 declarations, 0 contain sorry, 0 declared as axioms; 81 files
Files
- CoefficientAmbientReconstruction.lean 6 declarations
- CoefficientCutoffRemoval.lean 2 declarations
- CoefficientLocality.lean 4 declarations
- CoefficientMetricJets.lean 8 declarations
- CommonCoefficientExtension.lean 4 declarations
- CompactResidualMultiplier.lean 3 declarations
- ComplexChartCoefficient.lean 5 declarations
- CoordinateCorrection.lean 8 declarations
- CorrectionAlgebra.lean 7 declarations
- CorrectionProductBounds.lean 3 declarations
- CorrugationFirstResidual.lean 3 declarations
- CutoffResidualProductLemmas.lean 4 declarations
- CutoffWaveResidual.lean 2 declarations
- DualWaveCoefficient.lean 3 declarations
- FiniteResidualBound.lean 2 declarations
- FiniteSphereCoefficientAtlas.lean 3 declarations
- GaussianCoefficientMSE.lean 4 declarations
- GaussianCoefficientTail.lean 4 declarations
- GaussianCoefficientVariance.lean 3 declarations
- GlobalCorrection.lean 10 declarations
- GlobalSeedResidualSupport.lean 3 declarations
- GlobalWaveResidual.lean 2 declarations
- IntrinsicCoefficientBounds.lean 1 declarations
- IntrinsicCoefficientIncrementBounds.lean 6 declarations
- IntrinsicCoefficientMap.lean 6 declarations
- IntrinsicCoefficientMetric.lean 4 declarations
- IntrinsicCoefficientNeighborhood.lean 3 declarations
- IntrinsicCoefficientSmooth.lean 3 declarations
- IntrinsicCorrectionResidual.lean 5 declarations
- IntrinsicCorrectionSize.lean 1 declarations
- IntrinsicDivergenceCoefficients.lean 7 declarations
- IntrinsicRealCorrection.lean 4 declarations
- IntrinsicTotalResidual.lean 2 declarations
- JetCoefficient.lean 6 declarations
- LatticeResidualBounds.lean 2 declarations
- LatticeResidualSupport.lean 1 declarations
- LocalCoordinateResidual.lean 1 declarations
- LocalResidualRegularity.lean 5 declarations
- MatrixCoefficientBounds.lean 4 declarations
- MatrixCoefficientMap.lean 14 declarations
- MetricGradientResidual.lean 3 declarations
- MetricWaveJets.lean 4 declarations
- OriginalCoefficientComparison.lean 4 declarations
- PlacedEnvelopeResidualWaves.lean 1 declarations
- PlacedRandomResidual.lean 1 declarations
- PlacedSeedResidual.lean 1 declarations
- PlacedTotalResidual.lean 1 declarations
- PositiveSphereCorrection.lean 3 declarations
- RealCoefficientNeighborhoodEstimate.lean 1 declarations
- RealCoefficientNeighborhoodPointwise.lean 1 declarations
- RealCutoffResidual.lean 2 declarations
- RealFiniteCoefficientL2Bound.lean 2 declarations
- RealFintypeCoefficientBound.lean 2 declarations
- ResidualProduct.lean 6 declarations
- ResidualTaylor.lean 3 declarations
- RoundCoefficientJets.lean 8 declarations
- RoundCorrectionDenominator.lean 6 declarations
- RoundCorrectionSize.lean 1 declarations
- RoundSupportedCorrection.lean 4 declarations
- SeedCoefficientNeighborhood.lean 2 declarations
- SeedCoefficientPlacement.lean 2 declarations
- SeedResidualBounds.lean 3 declarations
- SeededResidual.lean 5 declarations
- SmoothFiniteResidual.lean 10 declarations
- SphereCoefficientAtlasInclusionLemmas.lean 2 declarations
- SphereCoefficientDifferenceBound.lean 1 declarations
- SphereCoefficientDistanceLaws.lean 5 declarations
- SphereCoefficientDivergenceJets.lean 1 declarations
- SphereCoefficientFormComparison.lean 3 declarations
- SphereCoefficientLimitTail.lean 2 declarations
- SphereCoefficientNormConvergence.lean 4 declarations
- SphereCoefficientScalarBounds.lean 3 declarations
- SphereFiniteCoefficientConstraints.lean 1 declarations
- SphereIndexedCoefficientComparison.lean 3 declarations
- SphereWeightedCoefficientJets.lean 1 declarations
- SupportedCoefficientChartBounds.lean 5 declarations
- TwoPointCoefficientEnergy.lean 5 declarations
- UniformResidualCore.lean 1 declarations
- UniformUncutResidual.lean 2 declarations
- UniformWaveResidual.lean 4 declarations
- WeightedCoefficientBounds.lean 2 declarations