Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208343908> ?p ?o ?g. }
- W3208343908 endingPage "22" @default.
- W3208343908 startingPage "12" @default.
- W3208343908 abstract "The entropy function plays a central role in information theory. Constraints on the entropy function in the form of inequalities, viz. entropy inequalities (often conditional on certain Markov conditions imposed by the problem under consideration), are indispensable tools for proving converse coding theorems. In this expository article, we give an overview of this fundamental subject. After presenting a geometrical framework for the entropy function, we explain how an entropy inequality can be formulated, with or without constraints on the entropy function. Among all entropy inequalities, Shannon-type inequalities, namely those implied by the nonnegativity of Shannon’s information measures, are best understood. The main focus of this article is the verification of Shannon-type inequalities, which in fact can be formulated as a linear programming problem. ITIP, a software package developed for this purpose, as well as two of its variants, AITIP and PSITIP, are discussed. This article ends with a discussion on the hardness of verifying entropy inequalities in general." @default.
- W3208343908 created "2021-11-08" @default.
- W3208343908 creator A5038760786 @default.
- W3208343908 creator A5084702636 @default.
- W3208343908 date "2021-09-01" @default.
- W3208343908 modified "2023-09-24" @default.
- W3208343908 title "Machine-Proving of Entropy Inequalities" @default.
- W3208343908 cites W1553142094 @default.
- W3208343908 cites W2019368591 @default.
- W3208343908 cites W2028511489 @default.
- W3208343908 cites W2029427729 @default.
- W3208343908 cites W2037413426 @default.
- W3208343908 cites W2038748532 @default.
- W3208343908 cites W2057878779 @default.
- W3208343908 cites W2058764227 @default.
- W3208343908 cites W2097509373 @default.
- W3208343908 cites W2113940092 @default.
- W3208343908 cites W2114325434 @default.
- W3208343908 cites W2130864742 @default.
- W3208343908 cites W2131304595 @default.
- W3208343908 cites W2140678653 @default.
- W3208343908 cites W2141432745 @default.
- W3208343908 cites W2143203964 @default.
- W3208343908 cites W2147681281 @default.
- W3208343908 cites W2318268489 @default.
- W3208343908 cites W2733203216 @default.
- W3208343908 cites W2962901739 @default.
- W3208343908 cites W2963981979 @default.
- W3208343908 cites W2964195131 @default.
- W3208343908 cites W2975391590 @default.
- W3208343908 cites W3013015669 @default.
- W3208343908 cites W3197645223 @default.
- W3208343908 cites W3215209533 @default.
- W3208343908 cites W4300840296 @default.
- W3208343908 doi "https://doi.org/10.1109/mbits.2021.3123197" @default.
- W3208343908 hasPublicationYear "2021" @default.
- W3208343908 type Work @default.
- W3208343908 sameAs 3208343908 @default.
- W3208343908 citedByCount "5" @default.
- W3208343908 countsByYear W32083439082022 @default.
- W3208343908 countsByYear W32083439082023 @default.
- W3208343908 crossrefType "journal-article" @default.
- W3208343908 hasAuthorship W3208343908A5038760786 @default.
- W3208343908 hasAuthorship W3208343908A5084702636 @default.
- W3208343908 hasBestOaLocation W32083439081 @default.
- W3208343908 hasConcept C101721835 @default.
- W3208343908 hasConcept C105795698 @default.
- W3208343908 hasConcept C106301342 @default.
- W3208343908 hasConcept C121332964 @default.
- W3208343908 hasConcept C134306372 @default.
- W3208343908 hasConcept C142611142 @default.
- W3208343908 hasConcept C177409962 @default.
- W3208343908 hasConcept C199343813 @default.
- W3208343908 hasConcept C202444582 @default.
- W3208343908 hasConcept C2524010 @default.
- W3208343908 hasConcept C2776809875 @default.
- W3208343908 hasConcept C2777686260 @default.
- W3208343908 hasConcept C28826006 @default.
- W3208343908 hasConcept C320580 @default.
- W3208343908 hasConcept C33923547 @default.
- W3208343908 hasConcept C44415725 @default.
- W3208343908 hasConcept C45555294 @default.
- W3208343908 hasConcept C49775889 @default.
- W3208343908 hasConcept C62520636 @default.
- W3208343908 hasConcept C67935508 @default.
- W3208343908 hasConcept C71924100 @default.
- W3208343908 hasConcept C9679016 @default.
- W3208343908 hasConceptScore W3208343908C101721835 @default.
- W3208343908 hasConceptScore W3208343908C105795698 @default.
- W3208343908 hasConceptScore W3208343908C106301342 @default.
- W3208343908 hasConceptScore W3208343908C121332964 @default.
- W3208343908 hasConceptScore W3208343908C134306372 @default.
- W3208343908 hasConceptScore W3208343908C142611142 @default.
- W3208343908 hasConceptScore W3208343908C177409962 @default.
- W3208343908 hasConceptScore W3208343908C199343813 @default.
- W3208343908 hasConceptScore W3208343908C202444582 @default.
- W3208343908 hasConceptScore W3208343908C2524010 @default.
- W3208343908 hasConceptScore W3208343908C2776809875 @default.
- W3208343908 hasConceptScore W3208343908C2777686260 @default.
- W3208343908 hasConceptScore W3208343908C28826006 @default.
- W3208343908 hasConceptScore W3208343908C320580 @default.
- W3208343908 hasConceptScore W3208343908C33923547 @default.
- W3208343908 hasConceptScore W3208343908C44415725 @default.
- W3208343908 hasConceptScore W3208343908C45555294 @default.
- W3208343908 hasConceptScore W3208343908C49775889 @default.
- W3208343908 hasConceptScore W3208343908C62520636 @default.
- W3208343908 hasConceptScore W3208343908C67935508 @default.
- W3208343908 hasConceptScore W3208343908C71924100 @default.
- W3208343908 hasConceptScore W3208343908C9679016 @default.
- W3208343908 hasFunder F4320322942 @default.
- W3208343908 hasIssue "1" @default.
- W3208343908 hasLocation W32083439081 @default.
- W3208343908 hasOpenAccess W3208343908 @default.
- W3208343908 hasPrimaryLocation W32083439081 @default.
- W3208343908 hasRelatedWork W1545685255 @default.
- W3208343908 hasRelatedWork W1581042959 @default.
- W3208343908 hasRelatedWork W2083462338 @default.
- W3208343908 hasRelatedWork W2090917860 @default.