Information Theoretic Inequality System Prover

Information measures, such as entropy, conditional entropy, mutual information, and conditional mutual information arise naturally in in multiple different fields of research including communications, quantum physics, cybersecurity & privacy, and machine learning. Resulting systems of inequations involving these information measures are frequently yielded. One is often required to prove or disprove the correctness of said linear systems of inequalities. There is currently no convenient and easy to use machine-based proof checker operating on linear systems of inequalities to be used in the aforementioned scenarios. Our project aims to resolve this Problem.