(Extended) Interval Analysis

Achim D. Brucker, Amy Stell. (Extended) Interval Analysis. Archive of Formal Proofs, 2024, 2024. [doi]

Abstract

Abstract is missing.