Bounds for Dirichlet polynomials play an important role in several questions connected to the distribution of primes. For example, they can be used to bound the number of zeroes of the Riemann zeta function in vertical strips, which is relevant to the distribution of primes in short intervals. A Dirichlet polynomial is a trigonometric polynomial of the form$D(t) = \sum_{n = N}^{2N} b_n n^{it}$
Sine, one of the fundamental trigonometric functions, plays a crucial role in various fields, including mathematics, physics, engineering, and computer science. Its calculation is not trivial, especially when it comes to implementing it in electronic calculators, where efficiency and accuracy are paramount.
An international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.