Fungrim symbol: BellNumber

Symbol: BellNumber —

B_{n}

— Bell number

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

Table data:

\left(P, Q\right)

such that

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

Definitions:

Fungrim symbol	Notation	Short description
`BellNumber`	$B_{n}$	Bell number
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n

Source code for this entry:

Entry(ID("1706bb"),
    SymbolDefinition(BellNumber, BellNumber(n), "Bell number"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZGreaterEqual(0)), Element(BellNumber(n), ZZGreaterEqual(1))))))

Topics using this symbol

The symbol BellNumber appears in 1 topics:

Stirling numbers (in 3 entries)

Entries using this symbol

The symbol BellNumber appears in 3 entries:

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC