Prof. Dr. Gerhard Pfister
Projects
Address
S
INGULAR
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)"
S
INGULAR
- 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 Kaiserslautern
•
Dept. of Mathematics
•
WG Algebra & Geometry
•
CAS S
INGULAR
•
KIS