Let G∈Gaussian(μ,σ) be a D210: Gaussian random real number.
A D3161: Random real number X∈Random(R) is a folded gaussian random unsigned real number with parameter (μ,σ) if and only if
Xd=|G|
▶ | D4613: Standard folded gaussian random unsigned real number |