Rigorose Fehlerschranken für das Elektronenstrukturproblem

The provided dataset contains rigorous error bounds for many linear conic programming problems, provided by the benchmark libraries DIMACS, ESC, RDM, SDPLIB, and SPARSE_SDP from the well-known website by Hans D. Mittelmann http://plato.asu.edu/sub/testcases.html. Those rigorous error bounds were computed by VSDP 2018, a MATLAB/GNU Octave software package for the computation of verified results in conic programming. This computation is done by careful post-processing of approximate solutions given by the conic solver programs CSDP, SDPA, SDPT3, SeDuMi, and MOSEK. The data is published in the PhD thesis "Rigorose Fehlerschranken für das Elektronenstrukturproblem" by Kai T. Ohlhus (2019 in German). Detailed information are given in the README.md file.