Fungrim symbol: GeneralizedRiemannHypothesis

Symbol: GeneralizedRiemannHypothesis —

\operatorname{GRH}

— Generalized Riemann hypothesis

Represents the truth value of the generalized Riemann hypothesis for Dirichlet L-functions, defined in e2a734.

Semantically,

\operatorname{GRH} \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 generalized Riemann hypothesis.

Definitions:

Fungrim symbol	Notation	Short description
`GeneralizedRiemannHypothesis`	$\operatorname{GRH}$	Generalized Riemann hypothesis

Source code for this entry:

Entry(ID("dc593e"),
    SymbolDefinition(GeneralizedRiemannHypothesis, GeneralizedRiemannHypothesis, "Generalized Riemann hypothesis"),
    Description("Represents the truth value of the generalized Riemann hypothesis for Dirichlet L-functions, defined in ", EntryReference("e2a734"), "."),
    Description("Semantically, ", Element(GeneralizedRiemannHypothesis, 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 generalized Riemann hypothesis."))

Topics using this symbol

The symbol GeneralizedRiemannHypothesis appears in 2 topics:

Dirichlet L-functions (in 3 entries)
Riemann hypothesis (in 2 entries)

Entries using this symbol

The symbol GeneralizedRiemannHypothesis appears in 3 entries: