BoxCover

Navigation page for Blueprint/D5/S0/Certificates/BoxCover/ at upstream snapshot 0d4efe242594f2f1cc047d266b5110843aaaad9e.

Contents

• A Concrete Squared-Residual Cover
• Checked Rational Box Covers
• Finite Proof-Carrying Sublevel Covers
• Rational Interval Expression Certificates