Fungrim symbol: BernoulliB

Symbol: BernoulliB —

B_{n}

— Bernoulli number

Domain	Codomain
$n \in \mathbb{Z}_{\ge 0}$	$B_{n} \in \mathbb{Q}$

Table data:

\left(P, Q\right)

such that

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

Definitions:

Fungrim symbol	Notation	Short description
`BernoulliB`	$B_{n}$	Bernoulli number
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n
`QQ`	$\mathbb{Q}$	Rational numbers

Source code for this entry:

Entry(ID("ac8eca"),
    SymbolDefinition(BernoulliB, BernoulliB(n), "Bernoulli number"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZGreaterEqual(0)), Element(BernoulliB(n), QQ)))))

Topics using this symbol

The symbol BernoulliB appears in 5 topics:

Bernoulli numbers and polynomials (in 19 entries)
Riemann zeta function (in 4 entries)
General analytic functions (in 2 entries)
Gamma function (in 2 entries)
Bounds and inequalities for the gamma function (in 2 entries)

Entries using this symbol

The symbol BernoulliB appears in 29 entries: