Murota, Kazuo; Kanno, Yoshihiro; Kojima, Masakazu; Kojima, Sadayoshi A numerical algorithm for block-diagonal decomposition of matrix \(*\)-algebras with application to semidefinite programming. (English) Zbl 1204.65068 Japan J. Ind. Appl. Math. 27, No. 1, 125-160 (2010). MSC: 65K05 65F30 90C22 PDFBibTeX XMLCite \textit{K. Murota} et al., Japan J. Ind. Appl. Math. 27, No. 1, 125--160 (2010; Zbl 1204.65068) Full Text: DOI
Jansson, Christian On verified numerical computations in convex programming. (English) Zbl 1184.90124 Japan J. Ind. Appl. Math. 26, No. 2-3, 337-363 (2009). MSC: 90C25 PDFBibTeX XMLCite \textit{C. Jansson}, Japan J. Ind. Appl. Math. 26, No. 2--3, 337--363 (2009; Zbl 1184.90124) Full Text: DOI Euclid