Using theorem proving to verify expectation and variance for discrete random variables (Q1040780): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-008-9113-6
@@ Property / DOI: 10.1007/s10817-008-9113-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2115178223
@@ Property / OpenAlex ID: W2115178223 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalescing times for IID random variables with applications to population biology
+Normal rank
@@ Property / cites work @@
+A stochastic process on the hypercube with applications to peer-to-peer networks
+Normal rank
@@ Property / cites work @@
+Proofs of Randomized Algorithms in Coq
@@ Property / cites work: Proofs of Randomized Algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q3662646
@@ Property / cites work: Q3662646 / rank @@
+Normal rank
@@ Property / cites work @@
+Keplers komplizierter Weg zur Wahrheit: Von neuen Schwierigkeiten, die „Astronomia Nova”︁ zu lesen
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119944
@@ Property / cites work: Q4119944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3723577
@@ Property / cites work: Q3723577 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393471
@@ Property / cites work: Q4393471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Continuous Probability Distributions
+Normal rank
@@ Property / cites work @@
+Verification of Expectation Properties for Discrete Random Variables in HOL
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2956948
@@ Property / cites work: Q2956948 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Computing
@@ Property / cites work: Probability and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Probability
@@ Property / cites work: Elementary Probability / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-008-9113-6
@@ Property / DOI: 10.1007/S10817-008-9113-6 / rank @@
+Normal rank