Seminar: Masterseminar Exact Computation - Details

Seminar: Masterseminar Exact Computation - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Seminar: Masterseminar Exact Computation
Untertitel
Veranstaltungsnummer 6.666
Semester SoSe 2021
Aktuelle Anzahl der Teilnehmenden 8
maximale Teilnehmendenanzahl 12
Heimat-Einrichtung Institut für Informatik
Veranstaltungstyp Seminar in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Dienstag, 13.04.2021 15:00 - 16:00, Ort: (BBB-Meeting. Weitere Termine werden wir gemeinsam abstimmen.)
Art/Form
ECTS-Punkte 3,0

Räume und Zeiten

(BBB-Meeting. Weitere Termine werden wir gemeinsam abstimmen.)
Dienstag, 13.04.2021 15:00 - 16:00
Keine Raumangabe
Mittwoch, 21.04.2021 17:00 - 19:00
Mittwoch, 12.05.2021 17:00 - 19:00
Mittwoch, 19.05.2021 17:00 - 19:00
Mittwoch, 26.05.2021 17:00 - 19:00
Mittwoch, 02.06.2021 17:00 - 19:00
Mittwoch, 09.06.2021 17:00 - 19:00
Mittwoch, 16.06.2021 17:00 - 19:00
Mittwoch, 23.06.2021 17:00 - 19:00
Montag, 09.08.2021 09:30 - 11:00
Montag, 09.08.2021 11:15 - 12:45
Montag, 09.08.2021 14:00 - 15:30
Montag, 09.08.2021 15:45 - 17:15
Donnerstag, 12.08.2021 09:30 - 11:00
Donnerstag, 12.08.2021 11:15 - 12:45
Donnerstag, 12.08.2021 14:00 - 15:30

Kommentar/Beschreibung

When designing new algorithms, in particular algorithms that involve a lot of computations and calculations, we typically think in the real numbers. Proofs about the correctness of algorithms are often carried out under the assumption of everything happening in the real numbers as well.

When then moving on to actually implement the algorithm, commonly one simply uses, e.g., "float" or "double" to represent the numbers the algorithm deals with, without much further thought about the fact that there certainly is some difference between real numbers and standard floating point numbers. "Maybe there is some tiny difference in the 15th decimal digit or so; who cares?"

Well, in various fields, for instance in graphical and geometric algorithms, there are common situations where it does not even matter how tiny the error is; even the tiniest inaccuracy can have catastrophic consequences, leading into, e.g., infinite loops or to invalid output (not just inaccurate, but structurally broken). Already something conceptually very simple, such as computing the intersection of two triangles, turns out to be a major challenge in the face of numerical inaccuracies - at least when things shall be implemented in a reliable manner, as expected and necessary in many industrial contexts.

In this seminar we will consider the question of how calculations can be carried out in standard digital computers without these issues; without the limited precision of floating point numbers breaking our assumptions. We will look at a number of techniques that allows us to actually perform >exact< computations in a computer, so as to preclude such issues. Alternatively, there are techniques, to the benefit of efficiency, to compute inexactly but >consistently<.

Key scenarios for such techniques can be found in the fields of geometric data processing, engineering, and graphics, but their utility extends to further fields and topics as well.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Beschränkte Teilnehmendenanzahl: Masterseminar Exact Computation".
Folgende Regeln gelten für die Anmeldung:
  • Es wird eine festgelegte Anzahl von Plätzen in den Veranstaltungen verteilt.
    Die Plätze werden in der Reihenfolge der Anmeldung vergeben.