Effiziente und korrekte geometrische Algorithmen

Zusammenfassung:

Warum arbeiten nach mehreren Jahrzehnten CAD-Systeme immer noch nicht korrekt?

Ich werde dazu in meinem Vortrag einen Bogen spannen, der von Rundungsproblemen in Maschinenfließkommaarithmetik zu effizienten und exakten Algorithmen auf Kurven und Flächen führt, und dann die verbleibenden Herausforderungen zur Realisierung der Vision eines korrekten Geometriekerns für CAD-Systeme skizzieren.

Ich werde auf meine Arbeit in CGAL eingehen, der Computational Geometry Algorithms Library, und insbesondere auf die boolschen Operationen auf dreidimensionalen Nef-Polyedern.

Ein weiterer Schwerpunkt meines Vortrags wird die Berechnung von Arrangements von Quadriken im Raum sein, dem algorithmischen Kern boolscher Operationen auf Quadriken.