Pages that link to "Item:Q1040780"
From MaRDI portal
The following pages link to Using theorem proving to verify expectation and variance for discrete random variables (Q1040780):
Displaying 6 items.
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Formalization of the standard uniform random variable (Q995466) (← links)
- Formalization of Shannon's theorems (Q2352494) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329) (← links)