Project Details
Skelettbasierte Parallelisierung ausgewählter Algorithmen der Computeralgebra
Applicant
Professorin Dr. Rita Loogen
Subject Area
Theoretical Computer Science
Term
from 2009 to 2012
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 121585641
Das Ziel des Projekts ist die abstrakte, mathematisch fundierte Spezifikation und parallele Implementierung wichtiger Computeralgebra-Verfahren. In der Computeralgebra werden algebraische, symbolische Berechnungen exakt am Computer durchgeführt. Obwohl eine mathematisch- fundierte funktionale Implementierung naheliegend ist, werden die Verfahren aus Effizienzgründen meist imperativ implementiert. Dies steht einer flexiblen Weiterentwicklung und insbesondere einer einfachen Parallelisierung für Mehrkernprozessoren oder Rechnernetze entgegen. Im Projekt werden ausgewählte Kernverfahren der Computeralgebra wie der Euklidische Algorithmus, Verfahren der multimodularen Arithmetik und der Buchberger Algorithmus in der parallelen funktionalen Sprache Eden implementiert, einer parallelen Erweiterung der Sprache Haskell. Insbesondere sollen auf diese Algorithmen zugeschnittene algorithmische Skelette abstrahiert werden. Solche Skelette sind parallele generische Berechnungsschemata, die als Funktionen höherer Ordnung ausgedrückt werden und zur Parallelisierung ganzer Klassen von Algorithmen verwendet werden können. Insgesamt führt das Projekt zu den Anfängen eines flexiblen offenen parallelen Computeralgebra-Systems.
DFG Programme
Research Grants