Fungrim entry: 669509

Symbol: RiemannZetaZero —

\rho_{n}

— Nontrivial zero of the Riemann zeta function

Domain	Codomain
$n \in \mathbb{Z} \setminus \left\{0\right\}$	$\rho_{n} \in \mathbb{C}$

Table data:

\left(P, Q\right)

such that

\left(P\right) \;\implies\; \left(Q\right)

Definitions:

Fungrim symbol	Notation	Short description
`RiemannZetaZero`	$\rho_{n}$	Nontrivial zero of the Riemann zeta function
`ZZ`	$\mathbb{Z}$	Integers
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("669509"),
    SymbolDefinition(RiemannZetaZero, RiemannZetaZero(n), "Nontrivial zero of the Riemann zeta function"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, SetMinus(ZZ, Set(0))), Element(RiemannZetaZero(n), CC)))))

Topics using this entry

Riemann zeta function
Zeros of the Riemann zeta function

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

2021-03-15 19:12:00.328586 UTC