Certified spectral instability of the excited De Gregorio profile f₃ - interval-arithmetic certificates, one-command reproduction, and diagnostics for CAP pipelines.
reproducible-research euler-equations interval-arithmetic fluid-dynamics arb computer-assisted-proof rigorous-numerics de-gregorio self-similar-blowup spectral-instability
-
Updated
Jul 10, 2026 - Python