Pages that link to "Item:Q5200112"
From MaRDI portal
The following pages link to Efficient Formal Verification of Bounds of Linear Programs (Q5200112):
Displaying 6 items.
- On verified numerical computations in convex programming (Q849186) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
- A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (Q3580955) (← links)
- Formal Proofs for Nonlinear Optimization (Q5195260) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)