ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measurable map
Random variable
Class of random variables
Collection of random variables
Set of random variables
Random collection
Random process
Random sequence
Random series
Random real series
Random Euclidean real series
Definition D4879
Random basic real series
Results
R5165: Central limit theorem for I.I.D. sample mean series
R3972: Expression for random basic real sum of squares in terms of sample mean and variance
R3885: Gaussian approximation to Poisson distribution