Skelettbasierte Parallelisierung ausgewählter Algorithmen der Computeralgebra

Das Ziel des Projekts ist die abstrakte，Mathatich Fundierte Spezifikation and Paralle Implementierung WichTiger Computeralgem-Verfahren.在DER计算机代数中，符号是代数，符号是计算机。从数学的原理和功能的实现，到实现的过程都是这样的。这是一种灵活多变的生活方式，不同的是，我们的生活方式不同。我的计划是在计算机代数中使用Euklidische算法、Verfahren和多模算法以及Buchberger算法在Der Parallen Functionalen Srache Eden Implementiert、Einer Parallen Erweiterung der Sprcihe Haskell中进行并行。在此基础上，我们提出了一种新的算法。在此基础上，提出了一种新的并行算法--Sind Parallise Sind Parallise Generishe BerechnungsSchemata，Die Als Funktionen höherer Ordnung augedrück t Well den and zur Parallelisierung Ganzer Klassen von算法verdet n nnen.Insgesamt füHRT das Projekt zu den ANFängen ees Flexiblen Offenen Parallen ComputerAlgem-Systems.

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.