%0 Conference Paper %1 conf/isit/GuoYG22 %A Guo, Laigang %A Yeung, Raymond W. %A Gao, Xiao-Shan %B ISIT %D 2022 %I IEEE %K dblp %P 772-777 %T Proving Information Inequalities and Identities with Symbolic Computation. %U http://dblp.uni-trier.de/db/conf/isit/isit2022.html#GuoYG22 %@ 978-1-6654-2159-1

@inproceedings{conf/isit/GuoYG22, added-at = {2022-08-08T00:00:00.000+0200}, author = {Guo, Laigang and Yeung, Raymond W. and Gao, Xiao-Shan}, biburl = {https://www.bibsonomy.org/bibtex/2907e8ebb827be650efe36ff850f49a1e/dblp}, booktitle = {ISIT}, crossref = {conf/isit/2022}, ee = {https://doi.org/10.1109/ISIT50566.2022.9834774}, interhash = {64c18ac62c3094e7de3425253fd63156}, intrahash = {907e8ebb827be650efe36ff850f49a1e}, isbn = {978-1-6654-2159-1}, keywords = {dblp}, pages = {772-777}, publisher = {IEEE}, timestamp = {2024-04-09T14:32:00.000+0200}, title = {Proving Information Inequalities and Identities with Symbolic Computation.}, url = {http://dblp.uni-trier.de/db/conf/isit/isit2022.html#GuoYG22}, year = 2022 }