Conditional Calculation of π(1024)
Email from Jens Franke [Thu 7/29/2010 2:47 PM]: (color added)
Using an analytic method assuming (for the current calculation) the Riemann Hypthesis, we found that the number of primes below 10^24 is 18435599767349200867866. The analytic method used is similar to the one described by Lagarias and Odlyzko, but uses the Weil explicit formula instead of complex curve integrals. The actual value of the analytic approximation to π(10^24) found was 18435599767349200867866+3.3823e-08.
For the current calculation, all zeros of the zeta function below 10^11 were calculated with an absolute precision of 64 bits.
We also verified the known values of π(10^k) for k < 24, also using the analytic method and assuming the Riemann hypothesis.
Other calculations of π(x) using the same method are (with the deviation of the analytic approximation from the closest integer included in
Computations were carried out using resources at the Institute for Numerial Simulation and the Hausdorff Center at Bonn University. Among others, the programs used the GNU scientific library, the fftw3-library and mpfr and mpc, although many time critical floating point calculations were done using special purpose routines.