Pages that link to "Item:Q5308355"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308355):
Displaying 8 items.
- Minotaur: a mixed-integer nonlinear optimization toolkit (Q823885) (← links)
- A review of recent advances in global optimization (Q842710) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- Certificates of infeasibility via nonsmooth optimization (Q1675645) (← links)
- A comparison of complete global optimization solvers (Q1780958) (← links)
- Benchmarking nonlinear optimization software in technical computing environments (Q1948530) (← links)
- Interval unions (Q2359762) (← links)
- Algorithmic differentiation techniques for global optimization in the COCONUT environment (Q2885482) (← links)
