Quantifier Elimination Over the Integers. - Rui-Juan Jing; Yuzhuo Lei; Christopher Frank Stephan Maligec; Marc Moreno Maza; Chirantan Mukherjee (ISSAC, 2025)

Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action. - Rui-Juan Jing; Yuzhuo Lei; Christopher F. S. Maligec; Marc Moreno Maza; Chirantan Mukherjee (ACM Commun. Comput. Algebra, 2025)

A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets. - Chirantan Mukherjee (CoRR, 2025)

Efficient detection of redundancies in systems of linear inequalities. - Rui-Juan Jing; Marc Moreno Maza; Chirantan Mukherjee; Yan-Feng Xie; Chun-Ming Yuan (J. Symb. Comput., 2026)