Using theorem proving to verify expectation and variance for discrete random variables
type: Item
instance of: scholarly article
title: Using theorem proving to verify expectation and variance for discrete random variables
zbMATH Open document ID: 1191.68621
author: Osman Hasan
author: Sofiène Tahar
published in: Journal of Automated Reasoning
publication date: 2009-11-25T00:00:00Z
full work available at URL: using theorem proving to verify expectation.pdf
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5638514
zbMATH Keywords: Coupon collector's problem
zbMATH Keywords: higher-order-logic
zbMATH Keywords: HOL theorem prover
zbMATH Keywords: probabilistic analysis
zbMATH Keywords: probability theory
zbMATH Keywords: statistical properties
describes a project that uses: VESTA
describes a project that uses: ML
describes a project that uses: HOL
MaRDI profile type: Publication
OpenAlex ID: W2115178223
cites work: Coalescing times for IID random variables with applications to population biology
cites work: A stochastic process on the hypercube with applications to peer-to-peer networks
cites work: Proofs of Randomized Algorithms in Coq
cites work: Q3662646
cites work: Keplers komplizierter Weg zur Wahrheit: Von neuen Schwierigkeiten, die „Astronomia Nova”︁ zu lesen
cites work: Q4836494
cites work: Theoretical Aspects of Computing – ICTAC 2005
cites work: A formulation of the simple theory of types
cites work: Q4119944
cites work: Q3723577
cites work: Automata, Languages and Programming
cites work: Q5287513
cites work: Q4393471
cites work: Q4231030
cites work: Probabilistic guarded commands mechanized in HOL
cites work: Formalization of Continuous Probability Distributions
cites work: Verification of Expectation Properties for Discrete Random Variables in HOL
cites work: Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
cites work: Q4484343
cites work: Q2956948
cites work: A theory of type polymorphism in programming
cites work: Probability and Computing
cites work: Q5687569
cites work: Theorem Proving in Higher Order Logics
cites work: Elementary Probability
DOI: 10.1007/S10817-008-9113-6
description: scientific article; zbMATH DE number 5638514