Chirantan Mukherjee

Chirantan Mukherjee

ORCCA Lab

Department of Computer Science
The University of Western Ontario
London, Ontario N6A 5B7
CV [Updated on Nov. 2025] cmukher@uwo.ca Google Scholar ResearchGate arXiv ORCID LinkedIn

2025

Missing Sets in Rational Parameterization of Surface of Revolution
Algorithms for Multivariate Power Series and their Applications, August 2025.

Integer Hulls, ℤ-Polyhedra and Presburger Arithmetic in Action
ISSAC 2025, July 30, 2025.

Quantifier Elimination Over the Integers
UWORCS 2025, April 7, 2025.

2024

Fourier-Motzkin Elimination using Saturation Matrix
Maplesoft, November 11, 2024.

A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets
Lalo 60, July 24, 2024.

Using Saturation Matrix to Efficiently Remove Redundant Inequalities
Maplesoft, June 25, 2024.

The Polyhedral Model
Distributed and Parallel Systems, The University of Western Ontario, June 20, 2024.

The Delinearization of C Programs
UWORCS 2024, April 9, 2024.

2023

The Quickhull Algorithm for Higher Dimensional Convex Hulls
Mathematical Computation, Western University, July 3, 2023.

Twisted Arrow Construction for Segal Spaces

Model Structure on Simplicial Categories
Graduate Student Seminar, March 3, 2023.

2022

Complete Segal Spaces as a Model of Higher Categories

Higher Category Theory

Complete Segal Spaces as a Model of Higher Categories
Department of Mathematics, University of Trento, March 18, 2022.

2021

The Conf₂ Space of Rational Homology of S³ and Propagators
Knot Theory Seminar, University of Warsaw, March 19, 2021.

Differentiable Manifolds and Forms, de Rham Cohomology
Curves and Surfaces with Mathematica, University of Warsaw, Jan 15, 2021.

2020

Products and Cochains of Equivariant Cohomology Theories
Topology and Geometry of Manifolds, University of Warsaw, Dec 21, 2020.

Polish Spaces
Topology and Set Theory, University of Warsaw, Nov 2020.