Lurupa
From MaRDI portal
Software:21957
No author found.
Related Items (4)
On verified numerical computations in convex programming ⋮ Rigorous filtering using linear relaxations ⋮ A reliable affine relaxation method for global optimization ⋮ Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
This page was built for software: Lurupa
