Fungrim entry: be9790

\mathop{\operatorname{zero*}\,}\limits_{y \in \left(0, \infty\right)} E_{2}\!\left(-\frac{1}{2} + i y\right) \in \left[0.130919030396762446904114826020 \pm 2.87 \cdot 10^{-31}\right]

TeX:

\mathop{\operatorname{zero*}\,}\limits_{y \in \left(0, \infty\right)} E_{2}\!\left(-\frac{1}{2} + i y\right) \in \left[0.130919030396762446904114826020 \pm 2.87 \cdot 10^{-31}\right]

Definitions:

Fungrim symbol	Notation	Short description
`UniqueZero`	$\mathop{\operatorname{zero*}\,}\limits_{x \in S} f(x)$	Unique zero (root) of function
`EisensteinE`	$E_{k}\!\left(\tau\right)$	Normalized Eisenstein series
`ConstI`	$i$	Imaginary unit
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("be9790"),
    Formula(Element(UniqueZero(EisensteinE(2, Add(Neg(Div(1, 2)), Mul(ConstI, y))), ForElement(y, OpenInterval(0, Infinity))), RealBall(Decimal("0.130919030396762446904114826020"), Decimal("2.87e-31")))))

Topics using this entry

Eisenstein series