Prof. Dr. Gerhard Pfister Projekte
Anschrift
SINGULAR
60. Geburtstag
Forschung
Lebenslauf
Veröffentlichungen
Vorlesungen
Doktoranden
ehemalige
Doktoranden
Projekte
e-mail
Oscar
mein erstes Auto
Blick in die Pfalz
Wonderbirds
Projekt "Algorithmische Algebra und Zahlentheorie" (DFG)
Projekt " Mathematisch-symbolische Analyse und Berechnung integrierter Schaltungen" (Stiftung Rheinland-Pfalz für Innovation)
Projekt ": Entwicklung anwendungsbezogener Komponenten für das Computeralgebrasystem SINGULAR " (Stiftung Rheinland-Pfalz für Innovation)
Projekt "Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen" (DFG)
Projekt "Globale Methoden in der komplexen Geometrie" (DFG)
Projekt "DAE-Modelle elektrischer Schaltungen, symbolische Vorverarbeitung und numerische Lösung" (Stiftung Rheinland-Pfalz für Innovation)
Projekt "Exzellenzcluster des Landes Rheinland-Pfalz (DASMOD)"
KryFoVe
: Anwendungen von Computeralgebra auf Kryptographie, Codierungstheorie und formale Verifikation
VerSiS
: Verifikation und Simulation von eingebetteten hybriden Systemen
Projekt " Entwicklung, Implementierung und Anwendung mathematisch-algebraischer Algorithmen bei der formalen Veriofikation digitaler Systeme mit Arithmetikblöcken (DFG)"
Projekt " Interface generating toolkid for symbolic computation systems (INTAS 7553)"
Projekt " Polynomial mappings: Algebra, Computation and Topology (INTAS 9093)"
Projekt " Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory (DFG)"
SINGULAR - ein Computeralgebrasystem für polynomiale Berechnungen
weitere wissenschaftliche Projekte in der Singularitätentheorie und Computeralgebra
Organisation mehrerer Konferenzen in der Singularitätentheorie und Computeralgebra
TU KaiserslauternFB MathematikAG Algebra & GeometrieCAS SINGULAR KIS