Application-oriented adjustment and integration of computer algebra software

• Applicant: Professor Dr. Volker Weispfenning
• Subject Area: Theoretical Computer Science
• Term: from 2000 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants