Chirantan Mukherjee

According to our database, Chirantan Mukherjee authored at least 4 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

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

2025

A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets.

Chirantan Mukherjee

CoRR, September, 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, September, 2025

Quantifier Elimination Over the Integers.

Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025