Pages that link to "Item:Q4685569"
From MaRDI portal
The following pages link to Mathematically rigorous global optimization in floating-point arithmetic (Q4685569):
Displaying 5 items.
- Precise optimization using range arithmetic (Q1344345) (← links)
- Verification of constrained minima (Q1919423) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Verification methods: rigorous results using floating-point arithmetic (Q2890535) (← links)
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs (Q6112545) (← links)