Fungrim home page

Fungrim entry: dc593e

Symbol: GeneralizedRiemannHypothesis GRH\operatorname{GRH} Generalized Riemann hypothesis
Represents the truth value of the generalized Riemann hypothesis for Dirichlet L-functions, defined in e2a734.
Semantically, GRH{True,False}\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
GeneralizedRiemannHypothesisGRH\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 entry

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