OAI/NumberTheory/CubicGauss/
388 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- CompositeGauss.lean 0 declarations
- Conjugation.lean 0 declarations
- CubeOperators.lean 24 declarations
- CubicFourier.lean 25 declarations
- Cutoffs.lean 7 declarations
- DivisorWeights.lean 20 declarations
- DualGram.lean 15 declarations
- Eisenstein.lean 3 declarations
- Factorization.lean 0 declarations
- FiniteOperators.lean 6 declarations
- GaussianKernel.lean 14 declarations
- GaussianPoisson.lean 21 declarations
- GramPoisson.lean 14 declarations
- HeckeFunctions.lean 34 declarations
- HeckeIdeals.lean 29 declarations
- InitialBounds.lean 23 declarations
- JacobiSums.lean 0 declarations
- LaplaceBounds.lean 15 declarations
- LargeSieve.lean 11 declarations
- LatticePoisson.lean 17 declarations
- Main.lean 1 import, no declarations
- PowerBounds.lean 8 declarations
- PrimaryFactors.lean 0 declarations
- PrimeCharacters.lean 0 declarations
- PrimitiveGauss.lean 11 declarations
- Reciprocity.lean 29 declarations
- Recurrence.lean 19 declarations
- ResiduePoisson.lean 22 declarations
- ScalarBounds.lean 5 declarations
- SmoothBounds.lean 16 declarations