Inhalt
Kommentar |
Wissenschaftliches Rechnen, Rechnen mit (unendlichen) Mengen, containment sets, (Maschinen-)Intervallarithmetik, Gleitkommasysteme, Wertebereichseinschließung, Intervallrechnung im Komplexen (Rechteck- und Kreisscheibenarithmetik), automatische Differentiation, Taylorarithmetik, Steigungen, verifizierte Integration, verifizierte Behandlung von Nullstellenproblemen und von linearen Gleichungssystemen, globale Optimierung
|
Bemerkung |
Beginn der Veranstaltung (mit einer Vorbesprechung): Donnerstag, den 10.10.2019 um 8:15 Uhr im Raum G.15.25
|
Zielgruppe |
Master Mathematik: Vert.VerNum (Modul Verifikationsnumerik); Master Informatik; Master IT: Vertiefungsbereich: Anwendungsbezogene mathematische Methoden (Verifikationsnumerik I); Master IT: Vertiefungsbereich: Scientific Computing (erster Teil von Vert.VerNum Verifikationsnumerik I+II) |