ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5443 on D210: Gaussian random real number

Expectation of a squared gaussian random real number