2025
Efficient detection of redundancies in systems of linear inequalities [ACCEPTED]
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]
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]
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]
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]
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]
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}
}