KIT | KIT-Bibliothek | Impressum | Datenschutz

Automatische Ergebnisverifikation bei globalen Optimierungsproblemen

Ratz, Dietmar


Volltext §
DOI: 10.5445/IR/41092
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Mathematik – Institut für Angewandte Mathematik (Inst. f. Ang. Math.)
Publikationstyp Hochschulschrift
Publikationsjahr 1992
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA410928
KITopen-ID: 41092
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Mathematik, Diss. v. 1.7.1992.
Art der Arbeit Dissertation
Fakultät Fakultät für Mathematik (MATH)
Institut Fakultät für Mathematik – Institut für Angewandte Mathematik (Inst. f. Ang. Math.)
Prüfungsdaten Diss. v. 1.7.1992
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page