Prof. Dr. Gerhard Pfister Projects
Address
SINGULAR
Research
Curriculum
Publications
Lectures
former
PhD Students
Projects
e-mail
Oscar
my first car
Beautiful View
Wonderbirds
Project "Algorithmic algebra and number theory" (DFG)
Project " Mathematisch-symbolische Analyse und Berechnung integrierter Schaltungen" (Stiftung Rheinland-Pfalz für Innovation)
Project ": Entwicklung anwendungsbezogener Komponenten für das Computeralgebrasystem SINGULAR " (Stiftung Rheinland-Pfalz für Innovation)
Project "Efficient algorithms for discrete problems and their applications" (DFG)
Project "Global methodes in complex geometry" (DFG)
Project "DAE-Modelle elektrischer Schaltungen, symbolische Vorverarbeitung und numerische Lösung" (Stiftung Rheinland-Pfalz für Innovation)
Project "Exzellenzcluster des Landes Rheinland-Pfalz (DASMOD)"
KryFoVe
: Anwendungen von Computeralgebra auf Kryptographie, Codierungstheorie und formale Verifikation
VerSiS
: Verifikation und Simulation von eingebetteten hybriden Systemen
Project " Entwicklung, Implementierung und Anwendung mathematisch-algebraischer Algorithmen bei der formalen Veriofikation digitaler Systeme mit Arithmetikblöcken (DFG)"
Project " Interface generating toolkid for symbolic computation systems (INTAS 7553)"
Project " Polynomial mappings: Algebra, Computation and Topology (INTAS 9093)"
Project " Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory (DFG)"
SINGULAR - a computer algebra system for polynomial computations
further scientific projects in singularity theory and computer algebra
Organisation of several conferences in singularity theory and computeralgebra
Univ. of KaiserslauternDept. of MathematicsWG Algebra & GeometryCAS SINGULAR KIS