Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan. Efficient detection of redundancies in systems of linear inequalities✱. In Jonathan D. Hauenstein, Wen-shin Lee, Shaoshi Chen, editors, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024. pages 351-360, ACM, 2024. [doi]
Abstract is missing.