OAI/Analysis/CoulombRadii/RandomFields/
428 declarations, 0 contain sorry, 0 declared as axioms; 58 files
Files
- AtomicThinScreening.lean 3 declarations
- BinaryDeletion.lean 4 declarations
- CompactRandomField.lean 5 declarations
- ConditionalDensity.lean 29 declarations
- ConditionalEnergy.lean 5 declarations
- ConditionalMatching.lean 31 declarations
- ConditionalPositiveField.lean 5 declarations
- ConditionalRMS.lean 13 declarations
- CoreBudget.lean 1 declarations
- CoreGap.lean 8 declarations
- CutJensen.lean 10 declarations
- EnsembleCauchy.lean 4 declarations
- EnsembleCoveredCost.lean 5 declarations
- EnsembleTransfer.lean 4 declarations
- EventTiltWavefunction.lean 11 declarations
- ExactRecordedCount.lean 4 declarations
- ExteriorIMS.lean 5 declarations
- FiniteInverseEvent.lean 1 declarations
- InnerFieldRMS.lean 4 declarations
- InverseEventContradiction.lean 3 declarations
- JointSlice.lean 7 declarations
- LocalizedEnsemble.lean 4 declarations
- ObservationAnnulusTail.lean 5 declarations
- ObservationDyadicWidth.lean 3 declarations
- ObservationFieldTransfer.lean 1 declarations
- ObservationHigh.lean 5 declarations
- ObservationMatching.lean 14 declarations
- ObservationMeanBounds.lean 1 declarations
- ObservationNegativeMean.lean 3 declarations
- ObservationPatchScale.lean 6 declarations
- ObservationProductDensity.lean 31 declarations
- ObservationSmallScale.lean 5 declarations
- ObservationWidthSquareSum.lean 32 declarations
- ObservedUnordered.lean 10 declarations
- PhysicalBandEvent.lean 6 declarations
- PhysicalBandRegularity.lean 1 declarations
- PhysicalDeficitMoment.lean 6 declarations
- PhysicalDeficitTail.lean 5 declarations
- PhysicalEnsembleGap.lean 1 declarations
- PhysicalLikelihoodBridge.lean 15 declarations
- PhysicalPosteriorInverse.lean 8 declarations
- PhysicalRetainedLikelihood.lean 16 declarations
- PosteriorBandOscillation.lean 1 declarations
- PosteriorCount.lean 3 declarations
- PosteriorDataMeasurable.lean 8 declarations
- PosteriorDensityContinuity.lean 12 declarations
- PosteriorFieldPDE.lean 3 declarations
- PosteriorRegularBounds.lean 3 declarations
- PosteriorShellError.lean 2 declarations
- PosteriorSpatialCap.lean 4 declarations
- QuantumRetainedFamily.lean 1 declarations
- RawCap.lean 6 declarations
- RecordJensen.lean 6 declarations
- RecordedCount.lean 7 declarations
- RecordedEnsemble.lean 12 declarations
- RecordedStatistic.lean 11 declarations
- ThinEnsemble.lean 7 declarations
- WeightedDeletion.lean 2 declarations