米查尔·科奇瓦拉；米歇尔·斯廷格尔 PENNON：线性和非线性矩阵不等式软件。 （英语） Zbl 1334.90108号 Anjos，Miguel F.（编辑）等人，《半定、二次曲线和多项式优化手册》。纽约州纽约市：施普林格出版社（ISBN 978-1-4614-0768-3/hbk；978-1-46104-0769-0/电子书）。《运筹学与管理科学国际丛书》166、755-791（2012）。MSC公司：90C22型 90-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Kočvara}和\textit{M.Stingl}，国际Ser。操作。资源管理。科学。166755-791（2012年；兹bl 1334.90108） 全文： DOI程序 arXiv公司
米查尔·科奇瓦拉；米歇尔·斯廷格尔 利用迭代求解器用改进的障碍法求解大规模SDP问题。 （英语） Zbl 1177.90312号 数学。程序。 109，编号2-3（B），413-444（2007）; 勘误表同上，第120号，第1（B），285-287（2009）。MSC公司：90C22型 90摄氏度06 65千5 PDF格式BibTeX公司 XML格式引用 \textit{M.Kočvara}和\textit{M.Stingl}，数学。程序。109，编号2--3（B），413--444（2007；Zbl 1177.90312） 全文： DOI程序