Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal verification of tail distribution bounds in the HOL theorem prover |
scientific article |
Statements
Formal verification of tail distribution bounds in the HOL theorem prover (English)
0 references
4 March 2009
0 references
Markov inequality
0 references
Chebyshev inequality
0 references
discrete random variable
0 references
mean
0 references
variance
0 references
higher-order logic
0 references
mechanization of proofs
0 references
probabilistic analysis of algorithms
0 references
automated theorem proving
0 references
0 references
