chipfiring - A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Graphs
A fully-featured Python toolkit for modelling, analysing, and visualising chip-firing games, complete with efficient algorithms and research-grade mathematical utilities.
Jun 30, 2025
Math Thesis Defense - Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch
Mathematics Thesis Defense Talk and Q&A for Dhyey Mavani's work with Professor Nathan Pflueger.
Apr 15, 2025
Mathematics Honors Thesis at Amherst College (Summa cum laude)
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Apr 15, 2025
Lean4 Machine Assisted Proof Framework for Chip Firing Games & Graphical Riemann-Roch
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Apr 15, 2025