Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F10709 on
D3754: Standard gaussian function
F10709
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