What is ITIP?

ITIP is a piece of software running on MATLAB for verifying all Shannon-type information inequalities, namely those implied by the nonnegativity of Shannon’s information measures. The theory is described in [2]. We also refer the readers to the tutorial paper [5] and the textbook [6].

We note that there exist information inequalities which cannot be proved by ITIP. These are called non-Shannon-type inequalities. Examples are the ones reported in [3] and [4].

ITIP is available for both Unix/Linux and Windows. If you have any comments on this software, please send them directly to the authors.

About the authors

• Raymond W. Yeung is with Department of Information Engineering, The Chinese University of Hong Kong, N.T., Hong Kong, China.

  Email: w h y e u n g AT ie DOT cuhk DOT edu DOT hk

• Ying-On Yan was with School of Electrical Engineering, Cornell University, NY, USA.  He is now with The MathWorks, Inc.

  Email: y y 2 6 AT cornell DOT edu

Acknowledgment

ITIP was upgraded by Siu-Wai Ho and Shenghao Yang for MATLAB 7.