vsdp 2020:VSDP:经过验证的半定性编程(2020版) 源码

VSDP:经过验证的半定二次线性编程(2020版) 这是VSDP的最新版本。 VSDP是一个软件包,用于在圆锥编程中计算经过验证的结果。 它支持约束圆锥,该约束圆锥由半定圆锥,二阶圆锥和非负正整数的乘积组成。 它提供了一些功能,用于计算真正的最佳值的严格误差范围,经过验证的epsilon最佳解决方案的封装以及经过验证的不可行证书。 考虑了由于浮点运算而产生的所有舍入误差。 该软件完全用 / 编写,需要间隔工具箱 。 因此也支持间隔输入。 此版本的VSDP可轻松访问圆锥求解器: , , , , , , 和 。 有关更多信息,请访问 。