Department Mathematik
print


Navigationspfad


Inhaltsbereich

Mathematisches Kolloquium


Am Freitag, 28. Januar 2005, um 17 Uhr c.t. spricht

Prof. Dr. Volker Weispfenning
(Universität Passau)

im Hörsaal E27 über das Thema

Anwendungen von Quantoreneliminationsmethoden

Zusammenfassung: Algorithmische algebraische Methoden zur Elimination von Variablen in reellen Problemen sind seit langem bekannt. Vom Standpunkt der Logik aus handelt es sich hierbei um Quantoreneliminationsmethoden für elementare Formeln einer Sprache für die reelle Algebra. Durch die stürmische Entwicklung der Computeralgebra in den letzten Jahrzehnten sind solche Methoden nun auf einem Stand, dass sie zur automatischen Lösung von interessanten Anwendungsproblemen aus vielen verschiedenen Bereichen beitragen können. Der Vortrag skizziert zunächst grundlegende methodische Ansätze, ihren Implementierungsstatus, und ihre Komplexität. Dann wird exemplarisch auf die Modellierung und Lösung von Anwendungsproblemen als Eliminationsprobleme eingegangen. Dabei werden die folgende Bereiche angesprochen: Automatisches Beweisen, Geometrischer Entwurf, parametrische Optimierung und Scheduling, Simulation und Fehlerdiagnose in Netzwerken, Bewegungsplanung, Kontrolltheorie. In diesem Rahmen wird auch das REDLOG-Paket von REDUCE kurz vorgestellt.
Alle Interessierten sind hiermit herzlich eingeladen. Eine halbe Stunde vor dem Vortrag gibt es Kaffee und Tee im Sozialraum (Raum 448) im 4. Stock.
Treffpunkt zum Abendessen um 19.00 Uhr wird noch bekannt gegeben.