@article{JING2026102527, title = {Efficient detection of redundancies in systems of linear inequalities}, journal = {Journal of Symbolic Computation}, volume = {135}, pages = {102527}, year = {2026}, issn = {0747-7171}, doi = {https://doi.org/10.1016/j.jsc.2025.102527}, url = {https://www.sciencedirect.com/science/article/pii/S0747717125001099}, author = {Rui-Juan Jing and Marc {Moreno Maza} and Chirantan Mukherjee and Yan-Feng Xie and Chun-Ming Yuan}, keywords = {Redundancy detection, Minimal projected representation, Saturation matrix, Fourier-Motzkin elimination, Polyhedron}, abstract = {Fourier-Motzkin elimination is a fundamental operation in polyhedral geometry. It can be performed by several equivalent procedures, and can be regarded as an adaptation of Gaussian elimination to systems of linear inequalities. These procedures tend to generate large numbers of redundant inequalities. Efficiently detecting these redundancies is essential for obtaining software implementation of practical interest. In this paper, we propose a novel detection technique. We demonstrate its benefits over alternative approaches. A detailed experimentation is reported.} }

@inproceedings{10.1145/3747199.3747580, author = {Jing, Rui-Juan and Lei, Yuzhuo and Maligec, Christopher Frank Stephan and Moreno Maza, Marc and Mukherjee, Chirantan}, title = {Quantifier Elimination Over the Integers}, year = {2025}, isbn = {9798400720758}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3747199.3747580}, doi = {10.1145/3747199.3747580}, abstract = {In this paper, we revisit, in a unified presentation, different techniques from polyhedral geometry that can support quantifier elimination over the integers. We propose a few improvements and report on a comparative implementation of these techniques.}, booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation}, pages = {353–362}, series = {ISSAC '25} }

@article{JLMMM25Software, author = {Rui{-}Juan Jing and Yuzhuo Lei and Christopher F. S. Maligec and Marc Moreno~Maza and Chirantan Mukherjee}, title = {Integer Hulls, $\mathbb{Z}$-Polyhedra and Presburger Arithmetic in Action}, publisher = {Association for Computing Machinery}, year = {In press}, keywords = {accepted}, journal = {ACM Commun. Comput. Algebra} }

@article{mukherjee2022twisted, title = {Twisted arrow construction for segal spaces}, author = {Mukherjee, Chirantan and Rasekh, Nima}, journal = {arXiv preprint arXiv:2203.01788}, year = {2022} }

@inproceedings{MukherjeeLALO60, author = {Chirantan Mukherjee}, title = {A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets}, booktitle = {LALO 60: Matrices and Polynomials in Computer Algebra: Algorithms and Software}, year = {Submitted}, keywords = {submitted} }

@mastersthesis{Muk22, author = {Mukherjee, Chirantan}, year = {2022}, month = {March}, title = {Complete Segal Spaces as a model of Higher Categories}, doi = {10.13140/RG.2.2.13538.20167} }