StieltjesGamma(n), rendered as γn, represents the Stieltjes constant of index n.
StieltjesGamma(n, a), rendered as γn(a), represents the generalized Stieltjes constant of index n
with parameter a.
|
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
StieltjesGamma | γn(a) | Stieltjes constant |
ZZGreaterEqual | Z≥n | Integers greater than or equal to n |
RR | R | Real numbers |
CC | C | Complex numbers |
ZZLessEqual | Z≤n | Integers less than or equal to n |
Source code for this entry:
Entry(ID("d10029"), SymbolDefinition(StieltjesGamma, StieltjesGamma(n, a), "Stieltjes constant"), Description(SourceForm(StieltjesGamma(n)), ", rendered as", StieltjesGamma(n), ", represents the Stieltjes constant of index", n, "."), Description(SourceForm(StieltjesGamma(n, a)), ", rendered as", StieltjesGamma(n, a), ", represents the generalized Stieltjes constant of index", n, " with parameter", a, "."), Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZGreaterEqual(0)), Element(StieltjesGamma(n), RR)), Tuple(And(Element(n, ZZGreaterEqual(0)), Element(a, CC), NotElement(a, ZZLessEqual(0))), Element(StieltjesGamma(n, a), CC)))))