Proving Information Inequalities and Identities With Symbolic Computation-Reference-Cited by-同舟云学术

Proving Information Inequalities and Identities With Symbolic Computation

Author:

Guo Laigang¹^ORCID,Yeung Raymond W.²^ORCID,Gao Xiao-Shan³^ORCID

Affiliation:

1. Laboratory of Mathematics and Complex Systems (Ministry of Education), School of Mathematical Sciences, Beijing Normal University, Beijing, China

2. Institute of Network Coding and the Department of Information Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong

3. Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China

Funder

National Natural Science Foundation of China

Fundamental Research Funds for the Central Universities of China

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Library and Information Sciences,Computer Science Applications,Information Systems

Link

Reference26 articles.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient detection of redundancies in systems of linear inequalities✱;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16