sdpb
[SemiDefinite Program Bootstrap]. Solucionador de programas semidefinidos de código abierto, de precisión arbitraria y paralelizado, diseñado para el bootstrap conformal. Un "solucionador" o más comúnmente en inglés "solver" es un anglicismo técnico que en español se usa para referirse a un programa o algoritmo que resuelve problemas matemáticos específicos de forma automática y que encuentra soluciones numéricas a ecuaciones o problemas de optimización. Estos son problemas de optimización donde las variables son matrices que deben cumplir la condición de ser semidefinidas positivas, es decir, que todos sus autovalores sean ≥ 0.
$ sdpb -s entrada.xml -o resultado ("entrada" contiene las matrices polinómicas Mₙⱼ
x), el vector b y la constante b₀ y el "resultado" el valor óptimo de la función objetivo y las variables "y" que lo alcanzan