Fungrim home page

Fungrim entry: 945fa5

ρ112+[14.134725141734693790457251983562470270784257115699±2.441049]i\rho_{1} \in \frac{1}{2} + \left[14.134725141734693790457251983562470270784257115699 \pm 2.44 \cdot 10^{-49}\right] i
TeX:
\rho_{1} \in \frac{1}{2} + \left[14.134725141734693790457251983562470270784257115699 \pm 2.44 \cdot 10^{-49}\right] i
Definitions:
Fungrim symbol Notation Short description
RiemannZetaZeroρn\rho_{n} Nontrivial zero of the Riemann zeta function
ConstIii Imaginary unit
Source code for this entry:
Entry(ID("945fa5"),
    Formula(Element(RiemannZetaZero(1), Add(Div(1, 2), Mul(RealBall(Decimal("14.134725141734693790457251983562470270784257115699"), Decimal("2.44e-49")), ConstI)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC