{"id":"https://openalex.org/W4362015706","doi":"https://doi.org/10.1109/tit.2023.3263178","title":"Proving Information Inequalities and Identities With Symbolic Computation","display_name":"Proving Information Inequalities and Identities With Symbolic Computation","publication_year":2023,"publication_date":"2023-03-29","ids":{"openalex":"https://openalex.org/W4362015706","doi":"https://doi.org/10.1109/tit.2023.3263178"},"language":"en","primary_location":{"id":"doi:10.1109/tit.2023.3263178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2023.3263178","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030034956","display_name":"Laigang Guo","orcid":"https://orcid.org/0000-0003-1537-3689"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Laigang Guo","raw_affiliation_strings":["Laboratory of Mathematics and Complex Systems (Ministry of Education), School of Mathematical Sciences, Beijing Normal University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-1537-3689","affiliations":[{"raw_affiliation_string":"Laboratory of Mathematics and Complex Systems (Ministry of Education), School of Mathematical Sciences, Beijing Normal University, Beijing, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038760786","display_name":"Raymond W. Yeung","orcid":"https://orcid.org/0000-0001-7386-4027"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Raymond W. Yeung","raw_affiliation_strings":["Institute of Network Coding and the Department of Information Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-7386-4027","affiliations":[{"raw_affiliation_string":"Institute of Network Coding and the Department of Information Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017479931","display_name":"Xiao-Shan Gao","orcid":"https://orcid.org/0000-0003-2021-9395"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao-Shan Gao","raw_affiliation_strings":["Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-2021-9395","affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0475,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80252473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"69","issue":"8","first_page":"4799","last_page":"4811"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.5702354907989502},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5652795433998108},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.5628254413604736},{"id":"https://openalex.org/keywords/mathematical-notation","display_name":"Mathematical notation","score":0.5566573143005371},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5445601344108582},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5047928094863892},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.49509063363075256},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4879443049430847},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.47285985946655273},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4612409770488739},{"id":"https://openalex.org/keywords/symbolic-numeric-computation","display_name":"Symbolic-numeric computation","score":0.4239121079444885},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39948558807373047},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39651376008987427},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3964361846446991},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37298285961151123},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.25620633363723755},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15795379877090454},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1464209258556366},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.11263880133628845}],"concepts":[{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.5702354907989502},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5652795433998108},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.5628254413604736},{"id":"https://openalex.org/C24457124","wikidata":"https://www.wikidata.org/wiki/Q1140046","display_name":"Mathematical notation","level":3,"score":0.5566573143005371},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5445601344108582},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5047928094863892},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.49509063363075256},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4879443049430847},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.47285985946655273},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4612409770488739},{"id":"https://openalex.org/C167324811","wikidata":"https://www.wikidata.org/wiki/Q12207781","display_name":"Symbolic-numeric computation","level":3,"score":0.4239121079444885},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39948558807373047},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39651376008987427},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3964361846446991},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37298285961151123},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.25620633363723755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15795379877090454},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1464209258556366},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.11263880133628845},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tit.2023.3263178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2023.3263178","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G5853808890","display_name":null,"funder_award_id":"2021NTST32","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G6967058303","display_name":null,"funder_award_id":"11688101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W87140126","https://openalex.org/W1562327279","https://openalex.org/W1703564471","https://openalex.org/W1785854153","https://openalex.org/W1992787901","https://openalex.org/W2037413426","https://openalex.org/W2065833635","https://openalex.org/W2097509373","https://openalex.org/W2105185344","https://openalex.org/W2113940092","https://openalex.org/W2114325434","https://openalex.org/W2902320335","https://openalex.org/W2916518364","https://openalex.org/W2962928269","https://openalex.org/W2988480584","https://openalex.org/W3013015669","https://openalex.org/W3208343908","https://openalex.org/W4289655352","https://openalex.org/W4300079393","https://openalex.org/W6637477579"],"related_works":["https://openalex.org/W2363922099","https://openalex.org/W89774232","https://openalex.org/W4246795820","https://openalex.org/W2913172947","https://openalex.org/W2393607213","https://openalex.org/W2495832077","https://openalex.org/W1968256718","https://openalex.org/W2624682093","https://openalex.org/W98357545","https://openalex.org/W2143803820"],"abstract_inverted_index":{"Proving":[0],"linear":[1,11,44,89],"inequalities":[2,91],"and":[3,28,35,92,110],"identities":[4,93],"of":[5,73,112,128,132,137,152],"Shannon\u2019s":[6],"information":[7,15,22,90],"measures,":[8,16],"possibly":[9],"with":[10,97,162],"constraints":[12],"on":[13,41,83],"the":[14,129,133,135,138,156],"is":[17],"an":[18,49],"important":[19],"problem":[20],"in":[21],"theory.":[23],"For":[24,122,149],"this":[25,67],"purpose,":[26],"ITIP":[27],"other":[29],"variant":[30],"algorithms":[31,74],"have":[32],"been":[33],"developed":[34],"implemented,":[36],"which":[37],"are":[38,94,107,117],"all":[39],"based":[40],"solving":[42,55,153],"a":[43,71],"program":[45],"(LP).":[46],"In":[47,66],"particular,":[48],"identity$f":[50],"=":[51],"0$is":[52],"verified":[53,160],"by":[54,79,125],"two":[56,154],"LPs,":[57,155],"one":[58,62],"for$f":[59,63],"\\ge":[60],"0$and":[61],"\\le":[64],"0$.":[65],"paper,":[68],"we":[69],"develop":[70],"set":[72],"that":[75,106,140],"can":[76,102,145,158],"be":[77,143,146,159],"implemented":[78],"symbolic":[80],"computation.":[81,165],"Based":[82],"these":[84],"algorithms,":[85,99],"procedures":[86,101,116],"for":[87],"verifying":[88],"devised.":[95],"Compared":[96],"LP-based":[98],"our":[100],"produce":[103],"analytical":[104],"proofs":[105],"both":[108],"human-verifiable":[109],"free":[111],"numerical":[113],"errors.":[114],"Our":[115],"also":[118],"more":[119],"efficient":[120],"computationally.":[121],"constrained":[123],"inequalities,":[124],"taking":[126],"advantage":[127],"algebraic":[130],"structure":[131],"problem,":[134],"size":[136],"LP":[139],"needs":[141],"to":[142],"solved":[144],"significantly":[147],"reduced.":[148],"identities,":[150],"instead":[151],"identity":[157],"directly":[161],"very":[163],"little":[164]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}