Fungrim symbol: HardyRamanujanA

Symbol: HardyRamanujanA —

A\!\left(n, k\right)

— Exponential sum in the Hardy-Ramanujan-Rademacher formula

Domain	Codomain
$n \in \mathbb{Z}_{\ge 0} \;\mathbin{\operatorname{and}}\; k \in \mathbb{Z}_{\ge 1}$	$A\!\left(n, k\right) \in \mathbb{R}$

Table data:

\left(P, Q\right)

such that

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

Definitions:

Fungrim symbol	Notation	Short description
`HardyRamanujanA`	$A\!\left(n, k\right)$	Exponential sum in the Hardy-Ramanujan-Rademacher formula
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("3eae25"),
    SymbolDefinition(HardyRamanujanA, HardyRamanujanA(n, k), "Exponential sum in the Hardy-Ramanujan-Rademacher formula"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(And(Element(n, ZZGreaterEqual(0)), Element(k, ZZGreaterEqual(1))), Element(HardyRamanujanA(n, k), RR)))))

Topics using this symbol

The symbol HardyRamanujanA appears in 1 topics:

Partition function (in 4 entries)

Entries using this symbol

The symbol HardyRamanujanA appears in 4 entries: