Fungrim symbol: RiemannZetaZero

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 symbol

The symbol RiemannZetaZero appears in 2 topics:

Zeros of the Riemann zeta function (in 10 entries)
Riemann zeta function (in 6 entries)

Entries using this symbol

The symbol RiemannZetaZero appears in 10 entries: