A Hidden Boundary Trail Turns Infinite Partition Counts Into Proofs
A staircase-shaped path turns colored partitions into finite-state machines, helping an exact certificate prove a new residue-class identity.
automata theory
A staircase-shaped path turns colored partitions into finite-state machines, helping an exact certificate prove a new residue-class identity.