{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:19:03Z","timestamp":1771697943211,"version":"3.50.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12301647"],"award-info":[{"award-number":["12301647"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11688101"],"award-info":[{"award-number":["11688101"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004787","name":"Research Grants Council of Hong Kong","doi-asserted-by":"publisher","award":["14207219"],"award-info":[{"award-number":["14207219"]}],"id":[{"id":"10.13039\/501100004787","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004787","name":"Research Grants Council of Hong Kong","doi-asserted-by":"publisher","award":["CUHK SRFS2223-4S03"],"award-info":[{"award-number":["CUHK SRFS2223-4S03"]}],"id":[{"id":"10.13039\/501100004787","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Inform. Theory"],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/tit.2025.3531133","type":"journal-article","created":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T18:34:48Z","timestamp":1737138888000},"page":"2315-2328","source":"Crossref","is-referenced-by-count":3,"title":["Proving Information Inequalities by Gaussian Elimination"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1537-3689","authenticated-orcid":false,"given":"Laigang","family":"Guo","sequence":"first","affiliation":[{"name":"Laboratory of Mathematics and Complex Systems (Ministry of Education), School of Mathematical Sciences, Beijing Normal University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7386-4027","authenticated-orcid":false,"given":"Raymond W.","family":"Yeung","sequence":"additional","affiliation":[{"name":"Institute of Network Coding and the Department of Information Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2021-9395","authenticated-orcid":false,"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[{"name":"Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/18.641556"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MBITS.2021.3123197"},{"key":"ref3","volume-title":"Information Theoretic Inequality Prover (ITIP), MATLAB Program Software Package","author":"Yeung","year":"1996"},{"key":"ref4","volume-title":"Xitip, ITIP-Based C Program Software Package","author":"Pulikkoonattu","year":"2006"},{"key":"ref5","volume-title":"A MINimal Information Theoretic Inequality Prover (MINITIP)","author":"Csirmaz","year":"2016"},{"key":"ref6","volume-title":"Python Symbolic Information Theoretic Inequality Prover (PSITIP)","author":"Li","year":"2020"},{"key":"ref7","volume-title":"Online X-Information Theoretic Inequal. Prover (OXITIP)","author":"Rathenakar","year":"2020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2020.2982642"},{"key":"ref9","volume-title":"AITIP","author":"Ho","year":"2020"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-79234-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2002.1013139"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/18.681320"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2019.2900669"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/18.79902"},{"key":"ref15","volume-title":"Linear Algebra and Its Applications","author":"Lay","year":"2016"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2010.2054295"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2014.140516"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1504\/IJICOT.2016.079498"},{"key":"ref19","article-title":"A note on the rate region of exact-repair regenerating codes","author":"Tian","year":"2015","journal-title":"arXiv:1503.00011"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT50566.2022.9834469"},{"key":"ref21","volume-title":"Combinatorial Optimization: Polyhedra and Efficiency","author":"Schrijver","year":"2003"},{"key":"ref22","volume-title":"Lecture Notes: Optimization III","author":"Ben-Tal","year":"2022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2023.3263178"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2007.896862"},{"key":"ref25","first-page":"103","article-title":"Quantifier elimination for conjunctions of linear constraints via a convex hull algorithm","volume-title":"Symbolic and Numerical Computation for Artificial Intelligence","author":"Lassez","year":"1992"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/NETCOD.2015.7176793"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3390\/e20080603"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2008.4595363"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2023.3296597"}],"container-title":["IEEE Transactions on Information Theory"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/18\/10935829\/10844899.pdf?arnumber=10844899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:30:07Z","timestamp":1743042607000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10844899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":29,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tit.2025.3531133","relation":{},"ISSN":["0018-9448","1557-9654"],"issn-type":[{"value":"0018-9448","type":"print"},{"value":"1557-9654","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4]]}}}