...
机译:使用定理证明来验证离散随机变量的期望和方差
Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3C3 1M8, Canada;
coupon collector's problem; higher-order-logic; hol theorem prover; probabilistic analysis; probability theory; statistical properties;
机译:无限方差稳定随机变量函数的协方差的界值,适用于中心极限定理和基于小波的估计
机译:Sublinear期望下划线独立随机变量阵列的强极限定理
机译:离散随机变量的似然比和强极限定理
机译:HOL中离散随机变量的期望属性的验证
机译:随机化环绕和离散汉密尔顿定理:用于布线和包装问题的通用良好算法(整数编程)
机译:具有无限均值的加权负象限相关随机变量的一些极限定理
机译:使用定理证明来验证离散随机变量的期望和方差