线性不等式组可约的一个充要条件

• A criterion for the redundancy in systems of linear inequalities