Efficient detection of redundancies in systems of linear inequalities✱.

Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan

Browse the full ISSAC paper archive.