{"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":true,"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"],"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":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"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"],"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":"funder","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"],"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":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030034956"],"corresponding_institution_ids":["https://openalex.org/I25254941"],"apc_list":null,"apc_paid":null,"fwci":1.3965,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84332739,"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":{"grobid_xml":false,"pdf":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,110],"inequalities":[2,112],"and":[3,28,35,75,113,131],"identities":[4,114],"of":[5,94,133,149,153,158,173],"Shannon\u2019s":[6],"information":[7,15,22,111],"measures,":[8,16],"possibly":[9],"with":[10,118,183],"constraints":[12],"on":[13,41,104],"the":[14,150,154,156,159,177],"is":[17,59],"an":[18,49],"important":[19],"problem":[20],"in":[21],"theory.":[23],"For":[24,143,170],"this":[25,88],"purpose,":[26],"ITIP":[27],"other":[29],"variant":[30],"algorithms":[31,95],"have":[32],"been":[33],"developed":[34],"implemented,":[36],"which":[37],"are":[38,115,128,138],"all":[39],"based":[40],"solving":[42,62,174],"a":[43,92],"program":[45],"(LP).":[46],"In":[47,87],"particular,":[48],"identity":[50,178],"<inline-formula":[51,67,78],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[52,68,79],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[53,69,80],"<tex-math":[54,70,81],"notation=\"LaTeX\">$f":[55,71,82],"=":[56],"0$":[57,73,84],"</tex-math></inline-formula>":[58,74,85],"verified":[60,181],"by":[61,100,146],"two":[63,175],"LPs,":[64,176],"one":[65,76],"for":[66,77,108],"\\ge":[72],"\\le":[83],".":[86],"paper,":[89],"we":[90],"develop":[91],"set":[93],"that":[96,127,161],"can":[97,123,166,179],"be":[98,164,167,180],"implemented":[99],"symbolic":[101],"computation.":[102,186],"Based":[103],"these":[105],"algorithms,":[106,120],"procedures":[107,122,137],"verifying":[109],"devised.":[116],"Compared":[117],"LP-based":[119],"our":[121],"produce":[124],"analytical":[125],"proofs":[126],"both":[129],"human-verifiable":[130],"free":[132],"numerical":[134],"errors.":[135],"Our":[136],"also":[139],"more":[140],"efficient":[141],"computationally.":[142],"constrained":[144],"inequalities,":[145],"taking":[147],"advantage":[148],"algebraic":[151],"structure":[152],"problem,":[155],"size":[157],"LP":[160],"needs":[162],"to":[163],"solved":[165],"significantly":[168],"reduced.":[169],"identities,":[171],"instead":[172],"directly":[182],"very":[184],"little":[185]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}