ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4806 on D4856: Gaussian random euclidean real number
Equivalent characterisations of gaussian random euclidean real numbers