Issues

• [theory] Factored Toeplitz pencils: oscillatory-matrix theorem, circle criterion, 6-Conjecture, and 30/33 constant-coefficient benchmark entries

  theory
  PerAlexandersson/RealRooted#2526 · Filter by author PerAlexandersson opened on Nov 10, 2026
  1

• [theory] θ-recurrence cluster: remaining reductions (A261139/A261318 via Brenti–Royle–Wagner, A157012, A366159, A1416xx fallback)

  theory
  PerAlexandersson/RealRooted#2515 · Filter by author PerAlexandersson opened on Nov 10, 2026

• [theory] Finite all-n certificates for rational-GF real-rootedness: PF Riordan, structural closure, matrices (polytool catalog audit)

  downstreamformalizationtheory
  PerAlexandersson/RealRooted#2514 · Filter by author PerAlexandersson opened on Nov 10, 2026

• [theory] Eulerian triangles with a lag-two correction: one theorem for A157147–A157151, A157637 (and A157153–A157156)

  formalizationtheory
  PerAlexandersson/RealRooted#2506 · Filter by author PerAlexandersson opened on Nov 9, 2026
  3

• [formalization] Site-weighted run polynomials: TP2 and PF-infinity real-rootedness

  PerAlexandersson/RealRooted#2485 · Filter by author PerAlexandersson opened on Nov 9, 2026
  1

• [weyl-program] Cluster Q: Lag certificates, recognizers and Euler-jet lifts

  weyl-program
  PerAlexandersson/RealRooted#2472 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster P: Shifted-derivative Weyl operators

  weyl-program
  PerAlexandersson/RealRooted#2471 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster O: Weyl 2x2 reduction and finite-symbol bridge

  weyl-program
  PerAlexandersson/RealRooted#2470 · Filter by author PerAlexandersson opened on Nov 9, 2026
  1

• [weyl-program] Cluster N: Recurrence-space and OEIS consumers

  weyl-program
  PerAlexandersson/RealRooted#2469 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster M: Mixed-affine common factor

  weyl-program
  PerAlexandersson/RealRooted#2468 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster L: Scalar off-diagonal lifts

  weyl-program
  PerAlexandersson/RealRooted#2467 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster K: Normalized companions

  weyl-program
  PerAlexandersson/RealRooted#2466 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster J: Bezout/prism compilers

  weyl-program
  PerAlexandersson/RealRooted#2465 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster I: Root-sign endpoints

  weyl-program
  PerAlexandersson/RealRooted#2464 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster H: Decorated companions

  weyl-program
  PerAlexandersson/RealRooted#2463 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster G: Derivative lifts and PF-symbol factors

  weyl-program
  PerAlexandersson/RealRooted#2462 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster F: Constant-coefficient and multiplier blocks

  weyl-program
  PerAlexandersson/RealRooted#2461 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster E: Weighted {D,I,theta} blocks

  weyl-program
  PerAlexandersson/RealRooted#2460 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster D: Quadratic Euler

  weyl-program
  PerAlexandersson/RealRooted#2459 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster C: Cap-typed operator-matrix API

  weyl-program
  PerAlexandersson/RealRooted#2458 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster B: First-order polar-Euler matrices

  weyl-program
  PerAlexandersson/RealRooted#2457 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [weyl-program] Cluster A: Aligned affine defect block

  weyl-program
  PerAlexandersson/RealRooted#2456 · Filter by author PerAlexandersson opened on Nov 9, 2026

• [tracker] General theory of interval root-location preservers

  formalizationtheory
  PerAlexandersson/RealRooted#2454 · Filter by author PerAlexandersson opened on Nov 9, 2026
  5

• [research] Reversing stationary recurrences: real BKW limits, positive families, and counterexamples

  PerAlexandersson/RealRooted#2418 · Filter by author PerAlexandersson opened on Nov 5, 2026

• [research] Root-label words and global interlacing patterns of preserving basis sequences

  PerAlexandersson/RealRooted#2417 · Filter by author PerAlexandersson opened on Nov 4, 2026