Formalization of Continuous Probability Distributions
From MaRDI portal
Publication:3608759
DOI10.1007/978-3-540-73595-3_2zbMath1213.68570MaRDI QIDQ3608759
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.8840
60E05: Probability distributions: general theory
Related Items
Towards the Formal Reliability Analysis of Oil and Gas Pipelines, An approach for lifetime reliability analysis using theorem proving, Reasoning about conditional probabilities in a higher-order-logic theorem prover, Formal probabilistic analysis of detection properties in wireless sensor networks, Proofs of randomized algorithms in Coq, Using theorem proving to verify expectation and variance for discrete random variables, Performance analysis and functional verification of the stop-and-wait protocol in HOL, On the formalization of gamma function in HOL, Towards Formal Fault Tree Analysis Using Theorem Proving, Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
Uses Software