{"id":"https://openalex.org/W4289655203","doi":"https://doi.org/10.1109/isit50566.2022.9834774","title":"Proving Information Inequalities and Identities with Symbolic Computation","display_name":"Proving Information Inequalities and Identities with Symbolic Computation","publication_year":2022,"publication_date":"2022-06-26","ids":{"openalex":"https://openalex.org/W4289655203","doi":"https://doi.org/10.1109/isit50566.2022.9834774"},"language":"en","primary_location":{"id":"doi:10.1109/isit50566.2022.9834774","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isit50566.2022.9834774","pdf_url":null,"source":{"id":"https://openalex.org/S4363604560","display_name":"2022 IEEE International Symposium on Information Theory (ISIT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE International Symposium on Information Theory (ISIT)","raw_type":"proceedings-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":["LMCS (MOE), School of Mathematical Sciences, Beijing Normal University,Beijing,China","LMCS (MOE), School of Mathematical Sciences, Beijing Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"LMCS (MOE), School of Mathematical Sciences, Beijing Normal University,Beijing,China","institution_ids":["https://openalex.org/I25254941"]},{"raw_affiliation_string":"LMCS (MOE), 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":["The Chinese University of Hong Kong,Institute of Network Coding and Department of Information Engineering,Kong Kong,China","Institute of Network Coding and Department of Information Engineering, The Chinese University of Hong Kong, Kong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong,Institute of Network Coding and Department of Information Engineering,Kong Kong,China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Institute of Network Coding and Department of Information Engineering, The Chinese University of Hong Kong, Kong Kong, China","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/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":["KLMM, ISS, and AMSS of Chinese Academy of Sciences, and University of Chinese Academy of Sciences,Beijing,China","KLMM, ISS, and AMSS of Chinese Academy of Sciences, and University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"KLMM, ISS, and AMSS of Chinese Academy of Sciences, and University of Chinese Academy of Sciences,Beijing,China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"KLMM, ISS, and AMSS of Chinese Academy of Sciences, and 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":0.216,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.2961624,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"772","last_page":"777"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.995199978351593,"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"}},"topics":[{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.995199978351593,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.6347863078117371},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5730655789375305},{"id":"https://openalex.org/keywords/inequality","display_name":"Inequality","score":0.506236732006073},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.4831792414188385},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4413600265979767},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.43202945590019226},{"id":"https://openalex.org/keywords/symbolic-numeric-computation","display_name":"Symbolic-numeric computation","score":0.41865861415863037},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3542554974555969},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3475903272628784},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2163429856300354},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.11163166165351868},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10295003652572632}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6347863078117371},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5730655789375305},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.506236732006073},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.4831792414188385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4413600265979767},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.43202945590019226},{"id":"https://openalex.org/C167324811","wikidata":"https://www.wikidata.org/wiki/Q12207781","display_name":"Symbolic-numeric computation","level":3,"score":0.41865861415863037},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3542554974555969},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3475903272628784},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2163429856300354},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.11163166165351868},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10295003652572632},{"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/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isit50566.2022.9834774","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isit50566.2022.9834774","pdf_url":null,"source":{"id":"https://openalex.org/S4363604560","display_name":"2022 IEEE International Symposium on Information Theory (ISIT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE International Symposium on Information Theory (ISIT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.6700000166893005}],"awards":[],"funders":[{"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":8,"referenced_works":["https://openalex.org/W2065833635","https://openalex.org/W2113940092","https://openalex.org/W2114325434","https://openalex.org/W2146705998","https://openalex.org/W3013015669","https://openalex.org/W3208343908","https://openalex.org/W4206407320","https://openalex.org/W4300079393"],"related_works":["https://openalex.org/W89774232","https://openalex.org/W2363922099","https://openalex.org/W4246795820","https://openalex.org/W2913172947","https://openalex.org/W2090112195","https://openalex.org/W2912066439","https://openalex.org/W4230567644","https://openalex.org/W1577059337","https://openalex.org/W908473976","https://openalex.org/W4251421746"],"abstract_inverted_index":{"Proving":[0],"linear":[1,11,44,94],"inequalities":[2,96],"and":[3,28,35,65,97,115],"identities":[4,98],"of":[5,78,117,133,137,142,157],"Shannon\u2019s":[6],"information":[7,15,22,95],"measures,":[8,16],"possibly":[9],"with":[10,102,167],"constraints":[12],"on":[13,41,88],"the":[14,134,138,140,143,161],"is":[17,54],"an":[18,49],"important":[19],"problem":[20],"in":[21],"theory.":[23],"For":[24,127,154],"this":[25,72],"purpose,":[26],"ITIP":[27],"other":[29],"variant":[30],"algorithms":[31,79],"have":[32],"been":[33],"developed":[34],"implemented,":[36],"which":[37],"are":[38,99,112,122],"all":[39],"based":[40],"solving":[42,57,158],"a":[43,76],"program":[45],"(LP).":[46],"In":[47,71],"particular,":[48],"identity":[50,162],"f":[51,62,68],"=":[52],"0":[53,64],"verified":[55,165],"by":[56,84,130],"two":[58,159],"LPs,":[59,160],"one":[60,66],"for":[61,67,92],"\u2265":[63],"\u2264":[69],"0.":[70],"paper,":[73],"we":[74],"develop":[75],"set":[77],"that":[80,111,145],"can":[81,107,150,163],"be":[82,148,151,164],"implemented":[83],"symbolic":[85],"computation.":[86,170],"Based":[87],"these":[89],"algorithms,":[90,104],"procedures":[91,106,121],"verifying":[93],"devised.":[100],"Compared":[101],"LP-based":[103],"our":[105],"produce":[108],"analytical":[109],"proofs":[110],"both":[113],"human-verifiable":[114],"free":[116],"numerical":[118],"errors.":[119],"Our":[120],"also":[123],"more":[124],"efficient":[125],"computationally.":[126],"constrained":[128],"inequalities,":[129],"taking":[131],"advantage":[132],"algebraic":[135],"structure":[136],"problem,":[139],"size":[141],"LP":[144],"needs":[146],"to":[147],"solved":[149],"significantly":[152],"reduced.":[153],"identities,":[155],"instead":[156],"directly":[166],"very":[168],"little":[169]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}