# Fungrim entry: 3eae25

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 entry

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

2020-08-27 09:56:25.682319 UTC