Keil, Frerich J.Frerich J.Keil120946394Chaykin, DenisDenisChaykin2010-09-142010-09-142009635069962http://tubdok.tub.tuhh.de/handle/11420/851Algorithmen zur Berechnung oberer und unterer Schranken für den Optimalwert, sowie Einschließungen ε-Optimallösungen in der semidefiniten Programmierung sind präsentiert. Die vorgeschlagenen Verifikationsverfahren wurden erfolgreich auf RDM Elektronenstrukturproblem angewendet um eine untere Grenze für die Grundzustandsenergie eines N-Elektron Systems zu ermitteln.Algorithms for computing lower and upper bounds of global optimal value, as well as enclosures of ε-optimal solutions in semidefinite programming are presented. Suggested verification methods are successfully applied to the electronic structure problem (RDM formulation) to calculate a lower bound of the ground state energy of an N-electron system.enhttp://doku.b.tu-harburg.de/doku/lic_mit_pod.phpsemidefinite optimizationverificationinterval arithmeticelectronic structureVerification of semidefinite optimization problems with application to variational electronic structure calculationVerifizierung von semidefiniten Optimierungsproblemen und deren Anwendung auf ElektronenstrukturrechnungDoctoral Thesis2010-09-14urn:nbn:de:gbv:830-tubdok-938010.15480/882.849Semidefinite OptimierungVerifikationFehlerschrankeSensitivitätsanalyseElektronenstrukturSemidefinite programming11420/85110.15480/882.849930768977PhD Thesis