OAI/NumberTheory/Jacobsthal/Harmonic/
235 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- AllCharacterLogPower.lean 1 declarations
- AuxiliaryPolynomialLifting.lean 17 declarations
- BudgetPolynomialBound.lean 3 declarations
- CharacterChord.lean 13 declarations
- CharacterPositivity.lean 8 declarations
- CharacterReduction.lean 2 declarations
- CommonFrequencyLift.lean 3 declarations
- CompactAnomalyTest.lean 19 declarations
- ComplexComponentBound.lean 3 declarations
- ComplexSquareScaling.lean 18 declarations
- FourierDerivative.lean 15 declarations
- FourierL1.lean 2 declarations
- HyperbolaFourier.lean 5 declarations
- KloostermanCRTCharacter.lean 2 declarations
- LinearPolynomialForm.lean 3 declarations
- NormalizedSpectralError.lean 6 declarations
- OriginalSourcePolynomial.lean 5 declarations
- PolynomialLocalGraph.lean 11 declarations
- PolynomialStripPoints.lean 3 declarations
- PolynomialValueBound.lean 16 declarations
- PrimeFourierSieve.lean 2 declarations
- PrimitiveResultant.lean 46 declarations
- RealAlgebraicFibers.lean 2 declarations
- SharpCharacterLogPower.lean 1 declarations
- StationaryPhase.lean 4 declarations
- WeightedAnomalyConvergence.lean 17 declarations
- ZeroFrequencyBounds.lean 8 declarations