Using theorem proving to verify expectation and variance for discrete random variables
scientific article; zbMATH DE number 5638514
scientific article