Pages that link to "Item:Q2945641"
From MaRDI portal
The following pages link to Affine Arithmetic and Applications to Real-Number Proving (Q2945641):
Displaying 6 items.
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- Real Algebraic Strategies for MetiTarski Proofs (Q2907335) (← links)
- (Q3551482) (← links)
- (Q4941400) (← links)
- An Introduction to Affine Arithmetic (Q5390737) (← links)