|
|
 | ||
| ||
| ||
| ||
| ||
|
| ||
| ||
| ||
| ||
|
|
SINGULAR - a computer algebra system for polynomial computations |
|
|
German coordinator of the European Singularity Network (ESN) |
|
|
"Computer algebra" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
"Algorithmic algebra and number theory" (DFG) |
|
|
"Mathematical-symbolic analysis and computation of integrated circuits" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
"Efficient algorithms for discrete problems and their applications" (DFG) |
|
|
"Families of Singular Algebraic Curves on Algebraic Surfaces" (G.I.F.) |
|
|
"Developement of applied components for the computer algebra system SINGULAR" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
"Geometry of families of singular projective varieties" (DFG) |
|
|
"Local and Global Aspects of Singular Algebraic Varieties" (G.I.F.) |
|
|
"DAE models of electric circuits, symbolic preprocessing, and numerical solving" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
Head of the Center for Computer Algebra (ZCA) |
|
|
"The derived category of coherent sheaves on rational projective curves and representations of associative algebras" (DFG) |
|
|
"Development, implementation and application of Groebner bases to a class of non-commutative algebras" (DFG) |
|
|
Formal hardware verification with algebraic methods (DFG) |
|
|
Cluster of Excellence in Rhineland-Palatinate (DASMOD).
KryFoVe : Applications of computer algebra to crypto analysis, coding theory and formal verification VerSiS : Verification and Simulation of Embedded Hybrid Systems |
|
|
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) |