Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
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
Definition D3754
Standard gaussian function
Formulation 1
Let
R
N
be a
D5630: Set of euclidean real numbers
.
The
standard gaussian function
on
R
N
is the
D4364: Real function
R
N
→
(
0
,
1
]
,
x
↦
e
−
π
|
x
|
2