OAI/Geometry/NodalSets/Waves/
349 declarations, 0 contain sorry, 0 declared as axioms; 118 files
Files
- AffineGaussianSmallBall.lean 1 declarations
- CompactSourceWaves.lean 4 declarations
- ConstructedCoordinateWaves.lean 4 declarations
- ConstructedSourceWavesLemmas.lean 2 declarations
- CosineCovarianceBounds.lean 3 declarations
- EuclideanGaussianSmallBall.lean 4 declarations
- EuclideanSourceWaves.lean 1 declarations
- ExponentialWaveBounds.lean 3 declarations
- FiniteGaussianMap.lean 4 declarations
- FiniteWaveDerivativeBounds.lean 2 declarations
- FiniteWaveJet.lean 9 declarations
- FiniteWaveSupport.lean 3 declarations
- FixedDomainLatticeActualDerivativeEnergy.lean 1 declarations
- FixedDomainLatticeActualTwoPoint.lean 1 declarations
- FixedDomainLatticeDerivativeMoments.lean 1 declarations
- FixedDomainLatticeFrequencyAnnulus.lean 1 declarations
- FixedDomainLatticeGradientExpectation.lean 1 declarations
- FixedDomainLatticePhysicalSignSubballs.lean 1 declarations
- FixedDomainLatticePlaneWaveEnergy.lean 1 declarations
- FixedDomainLatticeSignMargin.lean 1 declarations
- FixedDomainLatticeSignSubballs.lean 1 declarations
- FixedDomainLatticeSuccessfulPacking.lean 1 declarations
- FixedDomainLatticeTwoPointGap.lean 1 declarations
- FixedDomainPlaneWaveSecondMoment.lean 1 declarations
- GaussianBoxBound.lean 2 declarations
- GaussianCompactSections.lean 8 declarations
- GaussianCubeExpectation.lean 4 declarations
- GaussianDerivativeMoments.lean 4 declarations
- GaussianFactor.lean 7 declarations
- GaussianFactorBound.lean 4 declarations
- GaussianFactorTwoSided.lean 1 declarations
- GaussianGradientSupremum.lean 12 declarations
- GaussianIntervalBound.lean 2 declarations
- GaussianJet.lean 9 declarations
- GaussianPairCovariance.lean 3 declarations
- GaussianPairMoments.lean 3 declarations
- GaussianPartialMeasurability.lean 1 declarations
- GaussianTailBound.lean 3 declarations
- GaussianUniformBall.lean 3 declarations
- GaussianWaveJet.lean 4 declarations
- LatticeActualDerivativeEnergy.lean 2 declarations
- LatticeActualTwoPoint.lean 1 declarations
- LatticeCount.lean 3 declarations
- LatticeCovariance.lean 3 declarations
- LatticeCovariance2.lean 4 declarations
- LatticeDerivativeMoments.lean 1 declarations
- LatticeDerivativeTail.lean 2 declarations
- LatticeDirectionalCenters.lean 6 declarations
- LatticeEnergyLowerBound.lean 3 declarations
- LatticeFieldBounds.lean 1 declarations
- LatticeFrequencyAnnulus.lean 1 declarations
- LatticeFullPlaneWaveApprox.lean 2 declarations
- LatticeGaussianSmallBall.lean 3 declarations
- LatticeGeometry.lean 6 declarations
- LatticeGoodEvent.lean 2 declarations
- LatticeGradientExpectation.lean 1 declarations
- LatticeLogJets.lean 2 declarations
- LatticeMainLogJets.lean 2 declarations
- LatticeNeighborhoodJets.lean 1 declarations
- LatticeNetSmallBall.lean 2 declarations
- LatticeNonmainDecay.lean 2 declarations
- LatticeNormalizedWeights.lean 5 declarations
- LatticePhysicalSignSubballs.lean 1 declarations
- LatticePlaneWaveEnergy.lean 3 declarations
- LatticePlaneWaveJets.lean 2 declarations
- LatticeProbabilityRates.lean 2 declarations
- LatticeSignMargin.lean 1 declarations
- LatticeSignSubballs.lean 1 declarations
- LatticeSignValueBounds.lean 1 declarations
- LatticeSourceWaves.lean 9 declarations
- LatticeSphereExtension.lean 1 declarations
- LatticeSuccessfulPacking.lean 1 declarations
- LatticeTwoPointCovariance.lean 2 declarations
- LatticeTwoPointGap.lean 1 declarations
- LatticeValueVariance.lean 2 declarations
- LatticeVarianceComparison.lean 2 declarations
- LatticeVarianceUpper.lean 6 declarations
- LocalCompactWaves.lean 2 declarations
- LocalCovarianceGeometry.lean 2 declarations
- LocalSourceWaveTransfer.lean 1 declarations
- LocalWaveEnvelopeTransfer.lean 3 declarations
- LocalWaveHessian.lean 1 declarations
- LocalWaveJets.lean 7 declarations
- LocalWaveSupportCore.lean 1 declarations
- LocalWavesInDomain.lean 1 declarations
- NetProbability.lean 3 declarations
- NormalFrameWaveJet.lean 1 declarations
- NormalizedWaveRatio.lean 5 declarations
- PlacedEnvelopeWaves.lean 3 declarations
- PlacedFirstJetProbability.lean 3 declarations
- PlaneWaveCovariance.lean 5 declarations
- PlaneWaveJets.lean 3 declarations
- PlaneWaveJets2.lean 1 declarations
- PlaneWaveSecondMoment.lean 2 declarations
- RescaledGaussianField.lean 5 declarations
- RescaledLatticeTail.lean 1 declarations
- ScaledLatticeGaussianSum.lean 2 declarations
- SeededGaussianJet.lean 2 declarations
- SeededLatticeFieldBounds.lean 1 declarations
- ShiftedGaussianSum.lean 4 declarations
- ShiftedLatticeTail.lean 2 declarations
- SignSubballProbability.lean 3 declarations
- SmoothWaveOperator.lean 13 declarations
- TripleSourceWaves.lean 5 declarations
- TripleWaveParameters.lean 7 declarations
- TwoValueGaussianMap.lean 3 declarations
- TwoValueSignProbability.lean 1 declarations
- UniformActualWaveSize.lean 3 declarations
- UniformChartWaveTransfer.lean 1 declarations
- UniformWaveJet.lean 5 declarations
- WaveCenterJets.lean 14 declarations
- WaveEstimates.lean 9 declarations
- WaveGerm.lean 1 declarations
- WaveHessian.lean 2 declarations
- WaveJetAssembly.lean 5 declarations
- WaveSecondJet.lean 1 declarations
- WaveSize.lean 2 declarations
- WitnessedEuclideanWaves.lean 1 declarations