Alexanja Senke

Directed Computer-Assisted Certification of a Local Order-10 Operator-Chain Corridor on the Real Interval 5 ≤ s ≤ 14.25 via a Fixed Uniform b₁ Remainder Coefficient, Proof-Preserving Critical-Block Adaptation, and Panel-Aligned Derivative-Group Enclosures

Abstract This preprint update presents a directed computer-assisted certification of strict positivity and corridor inequalities for a constructed order-10 real-parameter operator chain on the local interval 5 <= s <= 14.25. Version v1.1 extends the published v1.0 certificate fro...

Directed Computer-Assisted Certification of a Local Order-10 Operator-Chain Corridor on the Real Interval 5 ≤ s ≤ 14.25 via a Fixed Uniform b₁ Remainder Coefficient, Proof-Preserving Critical-Block Adaptation, and Panel-Aligned Derivative-Group Enclosures

Abstract This preprint update presents a directed computer-assisted certification of strict positivity and corridor inequalities for a constructed order-10 real-parameter operator chain on the local interval 5 <= s <= 14.25. Version v1.1 extends the published v1.0 certificate fro...