Verification of semidefinite optimization problems with application to variational electronic structure calculation [Elektronische Ressource] / von Denis Chaykin

Verification of Semidefinite OptimizationProblems with Application to VariationalElectronic Structure CalculationVom Promotionsausschuss derTechnischen Universita¨t Hamburg-Harburgzur Erlangung des akademischen GradesDoktor-Ingenieurgenehmigte DissertationvonDenis ChaykinausKrasnogorsk20091. Gutachter: Prof. Dr. Dr. h.c. Frerich J. Keil2. Gutachter: PD Dr. Christian JanssonTag der mu¨ndlichen Pru¨fung: 19.06.2009AcknowledgementsNaturally, my greatest appreciation goes to my advisors Christian Jansson and FrerichKeil. Christian Jansson’s dedicated involvement has actually made this thesis possi-ble. His knowledge, experience and insight are directly and indirectly reflected in thiswork. He was always the first person to consult with and to get advise from wheneverI had to face any difficulties. I will be forever grateful for the given chance.I want to thank Prof. Frerich Keil for the provided opportunity to continue myresearch, for his inspiring supervision, patience and understanding. Without his en-couragement, it would be difficult to bring this thesis to its successful completion.To all my colleagues, both in the Institute for Reliable Computing and in the Insti-tute of Chemical Reaction Engineering, thank you for your help, support and for justmaking it a nice time.Finally, on a more personal note, I would like to express my deepest gratitude andappreciation to my family for their understanding and encouragement.