Fungrim symbol: RiemannHypothesis

Symbol: RiemannHypothesis —

\operatorname{RH}

— Riemann hypothesis

Represents the truth value of the Riemann hypothesis, defined in 49704a.

Semantically,

\operatorname{RH} \in \left\{\operatorname{True}, \operatorname{False}\right\}

This symbol can be used in an assumption to express that a formula is valid conditionally on the truth of the Riemann hypothesis.

Definitions:

Fungrim symbol	Notation	Short description
`RiemannHypothesis`	$\operatorname{RH}$	Riemann hypothesis

Source code for this entry:

Entry(ID("c03de4"),
    SymbolDefinition(RiemannHypothesis, RiemannHypothesis, "Riemann hypothesis"),
    Description("Represents the truth value of the Riemann hypothesis, defined in ", EntryReference("49704a"), "."),
    Description("Semantically, ", Element(RiemannHypothesis, Set(True_, False_)), "."),
    Description("This symbol can be used in an assumption to express that a formula is valid conditionally on the truth of the Riemann hypothesis."))

Topics using this symbol

The symbol RiemannHypothesis appears in 6 topics:

Riemann hypothesis (in 14 entries)
Zeros of the Riemann zeta function (in 4 entries)
Riemann zeta function (in 3 entries)
Keiper-Li coefficients (in 3 entries)
Prime numbers (in 2 entries)
Landau's function (in 1 entries)

Entries using this symbol

The symbol RiemannHypothesis appears in 15 entries: