Showing math.COShow all
2 papers · 1 filter
math.CO2026
Formalizing chip-firing and Riemann--Roch for graphs in Lean 4
Dhyey Dharmendrakumar Mavani, Nathan Pflueger
The Riemann--Roch theorem for graphs, due to Baker and Norine, is a foundational result establishing a powerful analogy between finite graphs and algebraic curves. We describe a co…
math.CO2025
chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs
Dhyey Dharmendrakumar Mavani, Tairan Ji, Nathan Pflueger
This paper presents `chipfiring`, a comprehensive Python package for the mathematical analysis of chip-firing games on finite graphs. The package provides a robust toolkit for defi…