Formalization of Shannon's theorems (Q2352494): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-013-9298-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2068110684
@@ Property / OpenAlex ID: W2068110684 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Shannon’s Theorems in SSReflect-Coq
+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 @@
+Computer-Aided Cryptographic Proofs
@@ Property / cites work: Computer-Aided Cryptographic Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Big Operators
@@ Property / cites work: Canonical Big Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Communication Theory of Secrecy Systems*
@@ Property / cites work: Communication Theory of Secrecy Systems* / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of Information Theory
@@ Property / cites work: Elements of Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The method of types [information theory]
@@ Property / cites work: The method of types [information theory] / rank @@
+Normal rank
@@ Property / cites work @@
+Information Theory
@@ Property / cites work: Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Using theorem proving to verify expectation and variance for discrete random variables
+Normal rank
@@ Property / cites work @@
+Three Chapters of Measure Theory in Isabelle/HOL
@@ Property / cites work: Three Chapters of Measure Theory in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formalization of the Lebesgue Integration Theory in HOL
+Normal rank
@@ Property / cites work @@
+Formalization of Entropy Measures in HOL
@@ Property / cites work: Formalization of Entropy Measures in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Fifty years of Shannon theory
@@ Property / cites work: Fifty years of Shannon theory / rank @@
+Normal rank