-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Finite-free additive convolution and half-integer rectangular parity lifts
theoryReusable mathematical framework, infrastructure, or general theoremReusable mathematical framework, infrastructure, or general theoremStatus: Open.#422 In PerAlexandersson/RealRooted;Formalize real-rooted descent polynomials of parking functions
applicationConcrete family, model, or theorem instance using the libraryConcrete family, model, or theorem instance using the libraryenhancementNew feature or requestNew feature or requestStatus: Open.#417 In PerAlexandersson/RealRooted;Future: extract a standalone generic LGV library
theoryReusable mathematical framework, infrastructure, or general theoremReusable mathematical framework, infrastructure, or general theoremStatus: Open.#416 In PerAlexandersson/RealRooted;Brenti Problem 2.6: does the τ-polynomial τ(G;x) have only real roots for every graph G?
open-problemOpen conjecture or research problem related to the repositoryOpen conjecture or research problem related to the repositoryStatus: Open.#406 In PerAlexandersson/RealRooted;Brändén–Leite Thm 2.1/2.6: lower unitriangular TN ⟺ resolvable
theoryReusable mathematical framework, infrastructure, or general theoremReusable mathematical framework, infrastructure, or general theoremStatus: Open.#398 In PerAlexandersson/RealRooted;[umbrella] Formalize Brändén–Leite: TN matrices give real-rooted chain polynomials
theoryReusable mathematical framework, infrastructure, or general theoremReusable mathematical framework, infrastructure, or general theoremStatus: Open.#395 In PerAlexandersson/RealRooted;OEIS submission for A358628: proved column formula and Ehrhart-Legendre structure
oeis-submitContribution intended for submission to OEISContribution intended for submission to OEISStatus: Open.#391 In PerAlexandersson/RealRooted;