Pages that link to "Item:Q335016"

The following pages link to Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016):

Displaying 2 items.

• Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem (Q2660610) (← links)
• Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)