OAI/NumberTheory/Ostmann/QuadraticSieveGaussEvaluationGaussian.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.QuadraticSieve.gaussianWave line 10
2. theorem OAI.Ostmann.QuadraticSieve.norm_gaussianWave line 13
3. theorem OAI.Ostmann.QuadraticSieve.gaussianWave_decay line 20
4. theorem OAI.Ostmann.QuadraticSieve.summable_gaussianWave line 26
5. theorem OAI.Ostmann.QuadraticSieve.fourier_gaussianWave line 31
6. theorem OAI.Ostmann.QuadraticSieve.shifted_gaussian_poisson line 37
7. theorem OAI.Ostmann.QuadraticSieve.dual_gaussian_tsum_tendsto line 53
8. theorem OAI.Ostmann.QuadraticSieve.normalized_shifted_gaussian_tendsto line 87