VSDP
From MaRDI portal
Software:16193
No author found.
Related Items (12)
Verification methods: Rigorous results using floating-point arithmetic ⋮ CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization ⋮ On verified numerical computations in convex programming ⋮ Finding largest small polygons with gloptipoly ⋮ Modal occupation measures and LMI relaxations for nonlinear switched systems control ⋮ Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming ⋮ Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system ⋮ Smooth strongly convex interpolation and exact worst-case performance of first-order methods ⋮ On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint ⋮ Validating numerical semidefinite programming solvers for polynomial invariants ⋮ A non-linear arithmetic procedure for control-command software verification ⋮ Efficient upper and lower bounds for global mixed-integer optimal control
This page was built for software: VSDP
