OAI/NumberTheory/Ostmann/HybridSieve/
55 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- CharacterFamily.lean 5 declarations
- FourierPacket.lean 7 declarations
- Integral.lean 2 declarations
- IntervalSieve.lean 2 declarations
- LogWindow.lean 3 declarations
- OrdinateDefs.lean 3 declarations
- OrdinateIntegral.lean 2 declarations
- PacketBound.lean 2 declarations
- PacketFamilyBound.lean 1 declarations
- PolynomialBridge.lean 3 declarations
- Sampling.lean 2 declarations
- SamplingDerivative.lean 5 declarations
- SamplingFamily.lean 1 declarations
- SamplingIntervals.lean 3 declarations
- SamplingLog.lean 4 declarations
- SamplingPolynomial.lean 1 declarations
- SamplingWeights.lean 2 declarations
- ShiftedGauss.lean 6 declarations
- ShiftedSieve.lean 1 declarations