TY  - RPRT
TI  - A stability order barrier and SSP bound for Runge--Kutta methods with non-negative coefficients: AI-assisted proofs
AU  - Sigal Gottlieb
AU  - Zachary Grant
AU  - Lior Horesh
AU  - Lajos Lóczi
AU  - Avraham Shinnar
AU  - Barry Trager
PY  - 2026
UR  - https://arxiv.org/abs/2611.07981
ID  - 2611.07981
ER  -