OAI/NumberTheory/ShortEgyptian/
427 declarations, 0 contain sorry, 0 declared as axioms; 58 files
Files
- Basic.lean 15 declarations
- BilinearProducts.lean 5 declarations
- DenseSplit.lean 5 declarations
- Density.lean 5 declarations
- DensityBounds.lean 4 declarations
- DescentSets.lean 11 declarations
- DeterministicLists.lean 7 declarations
- DeterministicMean.lean 4 declarations
- Distinctness.lean 5 declarations
- DivisorCover.lean 2 declarations
- DivisorMoments.lean 7 declarations
- DivisorWeights.lean 12 declarations
- DoubleCount.lean 1 declarations
- EmpiricalDiscrepancy.lean 8 declarations
- FiniteFourier.lean 9 declarations
- FirstDerivative.lean 14 declarations
- FourierDiscrepancy.lean 10 declarations
- GreedyExistence.lean 4 declarations
- GreedyPreparation.lean 12 declarations
- HammingDistance.lean 8 declarations
- Holder.lean 2 declarations
- IntervalDifferencing.lean 6 declarations
- IteratedDifferencing.lean 8 declarations
- LevelSelection.lean 9 declarations
- ListConstruction.lean 12 declarations
- ListSelection.lean 10 declarations
- LowerBound.lean 7 declarations
- Main.lean 3 declarations
- Model.lean 3 declarations
- MomentAsymptotics.lean 6 declarations
- MomentDecay.lean 2 declarations
- MomentRecurrence.lean 15 declarations
- ParameterBounds.lean 8 declarations
- PrimeLists.lean 7 declarations
- PrimeProducts.lean 19 declarations
- PrimeReciprocals.lean 3 declarations
- PrimeSplitting.lean 4 declarations
- ProductCorrelations.lean 5 declarations
- RandomBounds.lean 9 declarations
- RandomMoments.lean 1 declarations
- ReciprocalDifferences.lean 15 declarations
- ReciprocalEstimates.lean 3 declarations
- RecurrenceUnrolling.lean 3 declarations
- ResidueAssembly.lean 3 declarations
- ResidueDiscrepancy.lean 4 declarations
- ResidueSystem.lean 4 declarations
- SamplePartitions.lean 8 declarations
- ScaleBounds.lean 14 declarations
- ScaleGeometry.lean 24 declarations
- SecondDerivative.lean 6 declarations
- SelectionBounds.lean 3 declarations
- SmoothBounds.lean 12 declarations
- TerminalExpansion.lean 3 declarations
- TerminalScale.lean 7 declarations
- TruncatedDivisors.lean 7 declarations
- UpperAssembly.lean 4 declarations
- WindowDiscrepancy.lean 8 declarations
- WindowSpectrum.lean 12 declarations