Standard gaussian function

▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Function
▾ Symmetric stable function
▾ Basic real gaussian function

Standard gaussian function

Formulation 1

Let $\mathbb{R}^N$ be a D5630: Set of euclidean real numbers.
The standard gaussian function on $\mathbb{R}^N$ is the D4364: Real function \begin{equation} \mathbb{R}^N \to (0, 1], \quad x \mapsto e^{- \pi |x|^2} \end{equation}

Results

» R4618: Riemann integral of standard basic real gaussian function on the real line