Seewoo Lee

works on

formal verification 1 lean proof assistant 1 modular forms 1 partition identities 1 q-series 1

From the 1 of 14 linked papers with an AI index.

collaborators

Showing math.COShow all

2 papers · 1 filter

math.CO2026

Fel's Conjecture on Syzygies of Numerical Semigroups

Evan Chen, Chris Cummins, GSM +18

Let $S = ⟨ d_{1}, \dots, d_{m} ⟩$ be a numerical semigroup and $k [S]$ its semigroup ring. The Hilbert numerator of $k [S]$ determines normalized alternating syzygy power sums $K_…

math.CO2026

Dead ends in square-free digit walks

Evan Chen, Chris Cummins, Ben Eltschig +18

We study "dead ends" in square-free digit walks: square-free integers $N$ such that, in base $b$ , every one-digit extension $b N + d$ is non-square-free. In base $10$ , the stochastic…