Exact computer-assisted proof of bounded positivity for stretched Littlewood-Richardson polynomials
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.
Exact enumeration and complete Lean 4 kernel-only formalization for ballot-admissible Fibonacci ribbon tableaux
Counting k-bounded functions on [n]
Cores and endomorphisms of the merged Johnson graph family J(2k+1,k) with relations 2 through k-2
My mathematics research page
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."