Pages that link to "Item:Q5200112"

The following pages link to Efficient Formal Verification of Bounds of Linear Programs (Q5200112):

Displaying 3 items.

• 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 FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)