{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T05:02:36Z","timestamp":1773378156084,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T00:00:00Z","timestamp":1656201600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T00:00:00Z","timestamp":1656201600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,26]]},"DOI":"10.1109\/isit50566.2022.9834774","type":"proceedings-article","created":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T15:34:22Z","timestamp":1659540862000},"page":"772-777","source":"Crossref","is-referenced-by-count":1,"title":["Proving Information Inequalities and Identities with Symbolic Computation"],"prefix":"10.1109","author":[{"given":"Laigang","family":"Guo","sequence":"first","affiliation":[{"name":"LMCS (MOE), School of Mathematical Sciences, Beijing Normal University,Beijing,China"}]},{"given":"Raymond W.","family":"Yeung","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong,Institute of Network Coding and Department of Information Engineering,Kong Kong,China"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[{"name":"KLMM, ISS, and AMSS of Chinese Academy of Sciences, and University of Chinese Academy of Sciences,Beijing,China"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/18.681320"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/18.79902"},{"key":"ref12","first-page":"1","article-title":"Uber die Theorie der einfachen Ungleichungen","volume":"124","author":"farkas","year":"1902","journal-title":"J reine angew Math"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1137\/S0036144594295502","article-title":"An elementary proof of Farkas’ lemma","volume":"39","author":"achiya","year":"1997","journal-title":"SIAM Review"},{"key":"ref14","author":"lay","year":"2016","journal-title":"Linear Algebra and its Applications"},{"key":"ref15","article-title":"Proving information inequalities and Identities with symbolic computaiton","author":"guo","year":"0","journal-title":"preprint (full version)"},{"key":"ref4","author":"pulikkoonattu","year":"2006","journal-title":"A ITIP-based C Program Software Package"},{"key":"ref3","article-title":"Information Theoretic Inequality Prover (ITIP)","author":"yeung","year":"1996","journal-title":"Matlab Program Software Package"},{"key":"ref6","author":"li","year":"2020","journal-title":"Python Symbolic Information Theoretic Inequality Prover (psitip)"},{"key":"ref5","author":"csirmaz","year":"2016","journal-title":"A MINimal Information Theoretic Inequality Prover"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2020.2982642"},{"key":"ref7","author":"rathenakar","year":"2020","journal-title":"Online X-Information Theoretic Inequalities Prover (oXitip)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MBITS.2021.3123197"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/18.641556"},{"key":"ref9","author":"yeung","year":"2008","journal-title":"Information Theory and Network Coding"}],"event":{"name":"2022 IEEE International Symposium on Information Theory (ISIT)","location":"Espoo, Finland","start":{"date-parts":[[2022,6,26]]},"end":{"date-parts":[[2022,7,1]]}},"container-title":["2022 IEEE International Symposium on Information Theory (ISIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9834325\/9834269\/09834774.pdf?arnumber=9834774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T20:36:34Z","timestamp":1773347794000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9834774\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,26]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/isit50566.2022.9834774","relation":{},"subject":[],"published":{"date-parts":[[2022,6,26]]}}}