Formalizing chip-firing and Riemann--Roch for graphs in Lean 4

ACM Transactions on Algorithms (talg) Vol 22, Issue 3

ACM Transactions on Mathematical Software (toms) Vol 52, Issue 2

ACM Transactions on Programming Languages and Systems (toplas) Vol 48, Issue 2

Understanding Biconnected Components: Algorithmic Implementation and Applications in Competitive Programming

There are many articles online about graphs and (1-)connected components, but not many about biconnected components (BCCs), even though thes

ACM Transactions on Computation Theory (toct) Vol 18, Issue 2

Understanding Dataflow Graphs for C++ Performance Analysis

While in the middle of writing “Reading bits in far too many ways, part 3”, I realized that I had written a lot of background material that