Issues

• [umbrella] OEIS-proofs → RealRooted promotion, round 2: lifts, tactics, migration

  PerAlexandersson/RealRooted#1061 · Filter by author PerAlexandersson opened on Sep 30, 2026
  2

• Unmerged work on branches: Jacobi series, ASW–Karlin recovery, sign blocks

  PerAlexandersson/RealRooted#1060 · Filter by author PerAlexandersson opened on Sep 30, 2026
  1

• Formalize root-order and stable-pencil consequences of positive interlacing preservers

  PerAlexandersson/RealRooted#1015 · Filter by author PerAlexandersson opened on Sep 29, 2026

• [foundation][P3] Formalize the bivariate stable determinantal representation

  referencetheory
  PerAlexandersson/RealRooted#954 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [application][P3] Formalize the shelling–interlacing criterion

  applicationreference
  PerAlexandersson/RealRooted#953 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [theory][P3] Formalize the Liu–Mao LC-NIZ product theorem

  referencetheory
  PerAlexandersson/RealRooted#951 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [foundation][P2] Formalize the MSS mixed-characteristic root bound

  referencetheory
  PerAlexandersson/RealRooted#950 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [foundation][P3] Formalize stable-polynomial support theorems

  referencetheory
  PerAlexandersson/RealRooted#949 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [foundation][P2] Formalize Gurvits’ capacity coefficient bound

  referencetheory
  PerAlexandersson/RealRooted#948 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [foundation][P3] Formalize the Borcea–Brändén transcendental-symbol classification

  referencetheory
  PerAlexandersson/RealRooted#947 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [foundation][P3] Formalize the Edrei–Thoma classification of infinite PF sequences

  referencetheory
  PerAlexandersson/RealRooted#946 · Filter by author PerAlexandersson opened on Sep 26, 2026

• [Low priority] Formalize infinite log-concavity of the Boros--Moll sequences

  applicationreference
  PerAlexandersson/RealRooted#847 · Filter by author PerAlexandersson opened on Sep 18, 2026

• [theory][P3] Weighted Bernstein-array interior propagation

  applicationenhancementtheory
  PerAlexandersson/RealRooted#799 · Filter by author PerAlexandersson opened on Sep 16, 2026
  1

• [theory][P3] Audit Liu--Zhang stable eigenfunction and Morris constant term

  applicationreferencetheory
  PerAlexandersson/RealRooted#796 · Filter by author PerAlexandersson opened on Sep 15, 2026

• [application][P3] Uniform-matroid refined Hodge–Poincaré real-rootedness

  applicationreference
  PerAlexandersson/RealRooted#795 · Filter by author PerAlexandersson opened on Sep 15, 2026

• [application][P3] Powered Eulerian stability and strict interlacing

  applicationreference
  PerAlexandersson/RealRooted#794 · Filter by author PerAlexandersson opened on Sep 15, 2026

• [research program] Differential BKW theory and Weyl-matrix interlacing dynamics

  open-problemreferencetheory
  PerAlexandersson/RealRooted#601 · Filter by author PerAlexandersson opened on Sep 11, 2026

• Formalize Hoster--Stump Chow polynomial real-rootedness strategy

  PerAlexandersson/RealRooted#99 · Filter by author PerAlexandersson opened on Jul 27, 2026
  3