This is the website of a directed study project about Lorentzian polynomials.
Web pages for FPSAC
RIME: spectral, transport, accessibility, and observable-pipeline geometry for finite represented systems, with Rubik as a reproducible laboratory.
Counting k-bounded functions on [n]
Exact enumeration and complete Lean 4 kernel-only formalization for ballot-admissible Fibonacci ribbon tableaux
My mathematics research page
Cores and endomorphisms of the merged Johnson graph family J(2k+1,k) with relations 2 through k-2
A 12-vertex counterexample to Stanley’s claw-free Schur-positivity conjecture
Exact counterexamples to a Lorentzianity conjecture for border-strip E-polynomials
To associate your repository with the algebraic-combinatorics topic, visit your repo's landing page and select "manage topics."