|
|
 | ||
| ||
| ||
| ||
| ||
|
| ||
| ||
| ||
| ||
|
|
SINGULAR - ein Computeralgebrasystem für polynomiale Berechnungen |
|
|
Deutscher Koordinator des Europäischen Singularitätennetzwerks (ESN) |
|
|
"Computeralgebra" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
"Algorithmische Algebra und Zahlentheorie" (DFG) |
|
|
"Mathematisch-symbolische Analyse und Berechnung integrierter Schaltungen" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
"Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen" (DFG) |
|
|
"Families of Singular Algebraic Curves on Algebraic Surfaces" (G.I.F.) |
|
|
"Entwicklung anwendungsbezogener Komponenten für das Computeralgebrasystem SINGULAR" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
"Geometrie von Familien singulärer projektiver Varietäten" (DFG) |
|
|
"Local and Global Aspects of Singular Algebraic Varieties" (G.I.F.) |
|
|
"DAE-Modelle elektrischer Schaltungen, symbolische Vorverarbeitung und numerische Lösung" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
Leiter des Zentrums für Computeralgebra (ZCA) |
|
|
"Die abgeleitete Kategorie kohärenter Garben auf rationalen projektiven Kurven und Darstellungen assoziativer Algebren" (DFG) |
|
|
"Entwicklung, Implementierung und Anwendung von auf Gröbnerbasen beruhenden Algorithmen für eine Klasse nicht-kommutativer Algebren" (DFG) |
|
|
Formale Hardwareverifikation mit algebraischen Algorithmen (DFG) |
|
|
Exzellenzcluster des Landes Rheinland-Pfalz (DASMOD).
KryFoVe : Anwendungen von Computeralgebra auf Kryptographie, Codierungstheorie und formale Verifikation VerSiS : Verifikation und Simulation von eingebetteten hybriden Systemen |
|
|
DFG-Graduiertenkolleg DFG-GRK 753 'Mathematik und Praxis' (Graduiertenkolleg) |
|
|
Center for Mathematical and Computational Modelling ((CM)^2) |
|
|
"Industrielle Algebra: effizienter Einsatz algebraischer Verfahren bei der formalen Verifikation digitaler Systeme in industriellen Anwendungen" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
DFG Schwerpunktprogramm: Algorithmische und Experimentelle Methoden in Algebra, Geometrie und Zahlentheorie (SPP 1489) |