2025

Efficient detection of redundancies in systems of linear inequalities [ACCEPTED]
Rui-Juan Jing, Marc Moreno Maza, Chirantan Mukherjee, Yan-Feng Xie and Chun-Ming Yuan
To appear in Journal of Symbolic Computation.
@article{JMMXYJSC, author = {Rui{-}Juan Jing and Marc Moreno~Maza and Chirantan Mukherjee and Yao Xie and Chen Yuan}, title = {Efficient Detection of Redundancies in Systems of Linear Inequalities}, journal = {Journal of Symbolic Computation}, year = {To appear}, keywords = {accepted} }

Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action [ACCEPTED]
Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, and Chirantan Mukherjee
To appear in ACM Communications in Computer Algebra.
@article{JLMMM25Software, author = {Rui{-}Juan Jing and Yuzhuo Lei and Christopher 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 = {To appear}, keywords = {accepted}, journal = {ACM Commun. Comput. Algebra} }

Quantifier Elimination Over the Integers [ACCEPTED]
Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza and Chirantan Mukherjee
To appear in ISSAC '25: Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation.
@inproceedings{JLMMM25Paper, author = {Rui{-}Juan Jing and Yuzhuo Lei and Christopher Maligec and Marc Moreno~Maza and Chirantan Mukherjee}, title = {Quantifier Elimination over the Integers}, booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation}, doi = {10.1145/3701713.3701735}, year = {In press}, keywords = {accepted} }

Twisted Arrow Construction for Segal Spaces [ACCEPTED]
Chirantan Mukherjee and Nima Rasekh
To appear in The Graduate Journal of Mathematics.
@article{mukherjee2022twisted, title = {Twisted arrow construction for segal spaces}, author = {Mukherjee, Chirantan and Rasekh, Nima}, journal = {arXiv preprint arXiv:2203.01788}, year = {2022}, }

2024

A New Algorithm for Computing Integer Hulls of 2D Polyhedral Set [SUBMITTED]
Chirantan Mukherjee
Lalo 60 Conference, July 2024.
@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} }

2022

Complete Segal Spaces as a model of Higher Categories [DISSERTATION]
Chirantan Mukherjee
Department of Mathematics, University of Trento, March 2022.
@phdthesis{phdthesis, author = {Mukherjee, Chirantan}, year = {2022}, month = {03}, pages = {}, title = {Complete Segal Spaces as a model of Higher Categories}, doi = {10.13140/RG.2.2.13538.20167} }