Pages that link to "Item:Q3088009"
From MaRDI portal
The following pages link to Formalization of Entropy Measures in HOL (Q3088009):
Displaying 7 items.
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
- Formalization of Shannon's theorems (Q2352494) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971) (← links)
- Dynamic dependability analysis of shuffle-exchange networks (Q6564180) (← links)
