Loading [MathJax]/jax/output/CommonHTML/jax.js
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F67 on
D2719: Standard real gaussian density function
F67
Formulation 0
The
standard real gaussian density function
is the
D4364: Real function
R
→
R
,
x
↦
1
√
2
π
exp
(
−
1
2
x
2
)