Contents
1 Introduction
4
2 Installation
6
3 About VSDP
6
4 Quick Start
7
5 Rigorous Error Bounds for the SDPLIB
20
6 Verification of Ill-posed problems with VSDP
24
7 Interval Arithmetic and INTLAB
32
8 Computing Times
35
9 Conclusion
37
A Appendix
37
3
