Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal verification of tail distribution bounds in the HOL theorem prover |
scientific article; zbMATH DE number 5523083
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal verification of tail distribution bounds in the HOL theorem prover |
scientific article; zbMATH DE number 5523083 |
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
0.7865179181098938
0 references
0.7650284171104431
0 references
0.7605413198471069
0 references
0.7126018404960632
0 references
0.7116333246231079
0 references
