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 established 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


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