RiemannZetaZero

Input: RiemannZetaZero(n)
$$\rho_{n}$$

Nontrivial zero of the Riemann zeta function.

Numerical evaluation examples

Input: RiemannZetaZero(10**3)
$$\rho_{1000}$$
Output: Add(RealBall(Decimal("0.50000000000000000000"), 0), Mul(RealBall(Decimal("1419.4224809459956865"), Decimal("3.41e-17")), ConstI))   (evaluated by pygrim in 0.0096 s)
$$\left[0.50000000000000000000 \pm 0\right] + \left[1419.4224809459956865 \pm 3.41 \cdot 10^{-17}\right] i$$

Last updated: 2020-03-06 00:22:16