Anwendungsorientierte Ausrichtung und Integration von Computeralgebra-Software

• Antragsteller: Professor Dr. Volker Weispfenning
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2005
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5247298

Das Vorhaben betrifft die anwendungsorientierte Ausrichtung und Integration von Computeralgebra-Software. Es gliedert sich in drei eng miteinander verzahnte Bereiche: 1) Integration der Systeme QEPCAD und QERRC in das REDLOG-System; 2) Problemorientierte Weiterentwicklung der "general purpose" Computeralgebra- Software in dem REDLOG-System für dedizierte Anwendungen. Kern der Software sind effiziente Algorithmen zur Elimination von reellen Variablen aus first-order Constraint-Systemen. Die Anwendungen betreffen die folgenden Bereiche: a) Simulation und Fehlerdiagnose in technischen Netzwerken, b) nichtkonvexe und parametrische lineare, quadratische und hyperbolische Optimierung einschließlich Scheduling, c) exakte Algorithmen im Computational Solid Modeling; 3) Entwicklung von "Modeling Systems", d. h. von prototypischen Schnittstellen für die Benutzerein- und Ausgabe in den genannten Anwendungsfeldern.

• DFG-Verfahren: Sachbeihilfen