Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:defines |
finite sums of the form \( \sum_{n=M+1}^{M+N} e(f(n)) \) where \( f \) is a real-valued function and \( e(x) = e^{2\pi i x} \)
|
| gptkbp:field |
analytic number theory
|
| gptkbp:generalizes |
gptkb:Gauss_sums
Kloosterman sums |
| gptkbp:importantFor |
gptkb:Goldbach_conjecture
gptkb:Waring's_problem bounding trigonometric sums distribution of sequences modulo 1 |
| gptkbp:namedAfter |
gptkb:Hermann_Weyl
|
| gptkbp:relatedTo |
gptkb:Hardy-Littlewood_circle_method
gptkb:Vinogradov's_method exponential sums |
| gptkbp:usedIn |
gptkb:Weyl's_criterion
proofs of equidistribution estimation of exponential sums |
| gptkbp:bfsParent |
gptkb:Weyl_differencing
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Weyl sums
|