27 citations · 139 across the 22 of their papers we have counts for
Showing 2026Show all
3 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.HO2026
Benchmarks in Leipzig
Andrei Balakin, Miklós Bóna, Marie-Charlotte Brandenburg +45
Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the t…
math.AG2026
Transmission permutations and Demazure products in Hurwitz--Brill--Noether theory
Nathan Pflueger
A line bundle on a curve with two marked points can be special in many ways, as measured by the global sections of all of its twists by these points. All of this information is con…