Pages that link to "Item:Q3608890"

The following pages link to Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (Q3608890):

Displaying 3 items.

• Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151) (← links)
• Formalization of the standard uniform random variable (Q995466) (← links)
• Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)