Fungrim home page

Fungrim symbol: RR

Symbol: RR —

\mathbb{R}

— Real numbers

Represents the set of real numbers.

Definitions:

Fungrim symbol	Notation	Short description
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("bfe358"),
    SymbolDefinition(RR, RR, "Real numbers"),
    Description("Represents the set of real numbers."))

Topics using this symbol

The symbol RR appears in 38 topics:

Inverse tangent (in 27 entries)
Sine (in 17 entries)
Sinc function (in 17 entries)
Complex parts (in 12 entries)
Series representations of Carlson symmetric elliptic integrals (in 10 entries)
Numbers and infinities (in 9 entries)
Digamma function (in 9 entries)
Bounds and inequalities for the gamma function (in 9 entries)
Barnes G-function (in 8 entries)
Square roots (in 6 entries)
Prime numbers (in 6 entries)
Operators (in 6 entries)
Natural logarithm (in 5 entries)
Bessel functions (in 5 entries)
Powers (in 4 entries)
Lambert W-function (in 4 entries)
Exponential function (in 4 entries)
Complex plane (in 4 entries)
Specific values of the digamma function (in 3 entries)
Riemann zeta function (in 3 entries)
Hurwitz zeta function (in 3 entries)
General analytic functions (in 3 entries)
Gamma function (in 3 entries)
Definite integrals (in 3 entries)
Zeros of the Riemann zeta function (in 2 entries)
Legendre polynomials (in 2 entries)
Gaussian quadrature (in 2 entries)
Carlson symmetric elliptic integrals (in 2 entries)
Airy functions (in 2 entries)
Stieltjes constants (in 1 entries)
Riemann hypothesis (in 1 entries)
Partition function (in 1 entries)
Imaginary unit (in 1 entries)
Halphen's constant (in 1 entries)
Elementary logic and set theory (in 1 entries)
Confluent hypergeometric functions (in 1 entries)
Chebyshev polynomials (in 1 entries)
Bernoulli numbers and polynomials (in 1 entries)

Entries using this symbol

The symbol RR appears in 191 entries:

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

2021-03-15 19:12:00.328586 UTC