Skip to content

Ferrers tilings (Ahlberg–Alexandersson), layer 1: real-rootedness of the tiling polynomials - #1999

Closed
PerAlexandersson wants to merge 1 commit into
mainfrom
formalize/ferrers-tilings
Closed

Ferrers tilings (Ahlberg–Alexandersson), layer 1: real-rootedness of the tiling polynomials#1999
PerAlexandersson wants to merge 1 commit into
mainfrom
formalize/ferrers-tilings

Commits

  1. Commits on Oct 22, 2026