OAI/Analysis/LipschitzHilbert/Phase/
697 declarations, 0 contain sorry, 0 declared as axioms; 141 files
Files
- ActualBandDiagonal.lean 1 declarations
- AngularAmplitudeIdentity.lean 4 declarations
- AngularAnalyticWeight.lean 5 declarations
- AngularBinOverlap.lean 10 declarations
- AngularBinTransfer.lean 5 declarations
- AngularBins.lean 20 declarations
- AngularBoundary.lean 15 declarations
- AngularBoundaryDistance.lean 8 declarations
- AngularBoundaryLocality.lean 5 declarations
- AngularBoundaryNull.lean 2 declarations
- AngularCommonTranslation.lean 4 declarations
- AngularConservation.lean 6 declarations
- AngularCountBridge.lean 1 declarations
- AngularErrorConvolution.lean 3 declarations
- AngularErrorFamily.lean 11 declarations
- AngularErrorMoments.lean 2 declarations
- AngularExceptionCount.lean 1 declarations
- AngularGeometry.lean 13 declarations
- AngularGraphMass.lean 1 declarations
- AngularGraphPrediction.lean 2 declarations
- AngularGrid.lean 15 declarations
- AngularLineCounting.lean 1 declarations
- AngularLossMotion.lean 6 declarations
- AngularMassMotion.lean 6 declarations
- AngularNormalization.lean 3 declarations
- AngularPacketAmplitude.lean 13 declarations
- AngularPathLossMotion.lean 1 declarations
- AngularPathNormalization.lean 2 declarations
- AngularSegmentWeight.lean 1 declarations
- AngularSnapshot.lean 2 declarations
- AngularSourceAmplitude.lean 7 declarations
- AngularSourceWeight.lean 8 declarations
- AngularStopping.lean 5 declarations
- AngularTranslationMeasurable.lean 5 declarations
- BandDiagonalBasicL1.lean 1 declarations
- BandDiagonalHighL1.lean 1 declarations
- BandDiagonalReverseL1.lean 1 declarations
- DampedSimplexInterpolation.lean 3 declarations
- DiagonalAmplitudeLimit.lean 2 declarations
- DiagonalAmplitudeReconstruction.lean 3 declarations
- DiagonalCarrier.lean 8 declarations
- DiagonalGeometryChoice.lean 2 declarations
- DiagonalPhaseSelection.lean 21 declarations
- DominantCoefficient.lean 12 declarations
- DominantNormalization.lean 15 declarations
- DominantPathComparison.lean 14 declarations
- DominantPredictionBlend.lean 2 declarations
- FiniteDiagonalBandL1.lean 2 declarations
- FiniteDiagonalBasicL1.lean 1 declarations
- FiniteDiagonalHighL1.lean 1 declarations
- FiniteDiagonalReverseL1.lean 1 declarations
- FiniteFourierGain.lean 3 declarations
- FiniteInterpolation.lean 8 declarations
- FourthMoment.lean 28 declarations
- FrequencyQuantiles.lean 5 declarations
- GaussianPhaseDamping.lean 5 declarations
- GraphPhaseAverage.lean 2 declarations
- GraphPhasePrediction.lean 4 declarations
- GraphPredictionFactor.lean 4 declarations
- HomogeneousFourthMoment.lean 7 declarations
- ImprovedFourthMoment.lean 7 declarations
- InterpolationFamily.lean 14 declarations
- LineGridPrediction.lean 2 declarations
- LocalPredictionAssembly.lean 4 declarations
- LocalSkippedPrediction.lean 2 declarations
- PacketAngularAssignment.lean 3 declarations
- PacketAngularBasicPairing.lean 1 declarations
- PacketAngularCover.lean 3 declarations
- PacketAngularHighPairing.lean 1 declarations
- PacketAngularModel.lean 3 declarations
- PacketAngularPartition.lean 4 declarations
- PacketAngularReversePairing.lean 1 declarations
- PacketDataSelectionAngularGeometry.lean 3 declarations
- PacketDataSignedAngularGeometry.lean 2 declarations
- PhaseCombinatorics.lean 27 declarations
- PhaseMotion.lean 9 declarations
- PhaseSelection.lean 24 declarations
- PlanarSliceFourierAngular.lean 4 declarations
- PredictionBlend.lean 4 declarations
- PredictionCells.lean 9 declarations
- PredictionNormalization.lean 12 declarations
- QuantileGap.lean 3 declarations
- Quantiles.lean 8 declarations
- ScalarBandDiagonal.lean 8 declarations
- ScalarPhase.lean 8 declarations
- SimplexTubeInterpolation.lean 6 declarations
- SourceActivePrediction.lean 5 declarations
- SourceAmplitudeInterpolation.lean 2 declarations
- SourceAngularAmplitude.lean 3 declarations
- SourceAngularEnvelope.lean 3 declarations
- SourceAngularErrorTail.lean 4 declarations
- SourceAngularFrozenEstimate.lean 1 declarations
- SourceAngularFrozenIntegration.lean 8 declarations
- SourceAngularGridRebase.lean 5 declarations
- SourceAngularIdentity.lean 2 declarations
- SourceAngularLongCellMask.lean 2 declarations
- SourceAngularOrdinaryTree.lean 2 declarations
- SourceAngularPrediction.lean 1 declarations
- SourceAngularScales.lean 6 declarations
- SourceAngularSupport.lean 2 declarations
- SourceAngularTreeSplit.lean 8 declarations
- SourceBalancedPrediction.lean 4 declarations
- SourceBlockPredictor.lean 1 declarations
- SourceDominantBlend.lean 1 declarations
- SourceDominantGrid.lean 1 declarations
- SourceDominantPrediction.lean 9 declarations
- SourceDominantValues.lean 1 declarations
- SourceEmptyPrediction.lean 2 declarations
- SourceFinitePhaseInterpolation.lean 1 declarations
- SourceFullAngularGrid.lean 1 declarations
- SourceGridPrediction.lean 1 declarations
- SourceLabeledAngularErrorData.lean 6 declarations
- SourceLocalPrediction.lean 1 declarations
- SourceMarkedPrediction.lean 8 declarations
- SourcePathPhaseMotion.lean 3 declarations
- SourcePathPrediction.lean 5 declarations
- SourcePhaseNorm.lean 3 declarations
- SourcePhaseParameters.lean 5 declarations
- SourcePredictableAmplitudeMotion.lean 2 declarations
- SourcePredictableDecay.lean 5 declarations
- SourcePredictableLength.lean 2 declarations
- SourcePredictablePacketMotion.lean 1 declarations
- SourcePredictionDecay.lean 2 declarations
- SourcePredictionIntegral.lean 1 declarations
- SourcePredictionMotion.lean 17 declarations
- SourcePredictionParameters.lean 5 declarations
- SourcePredictionShrink.lean 4 declarations
- SourcePredictionValues.lean 6 declarations
- SourceRootPathInterpolation.lean 1 declarations
- SourceSelectionAngularGeometry.lean 4 declarations
- SourceSelectorBlockPredictor.lean 2 declarations
- SourceSelectorPathPredictor.lean 1 declarations
- SourceSelectorReversePathPredictor.lean 1 declarations
- SourceSelectorWindowPredictor.lean 1 declarations
- SourceSignedAngularGeometry.lean 2 declarations
- SourceSupportedSelectorBlockPredictor.lean 2 declarations
- SourceSupportedSelectorPathPredictor.lean 1 declarations
- SourceSupportedSelectorReversePathPredictor.lean 1 declarations
- SourceSupportedSelectorWindowPredictor.lean 1 declarations
- SourceTypeUniformInterpolation.lean 2 declarations
- TiledPredictionIntegral.lean 4 declarations