Prof. Dr. Dr.h.c. Gert-Martin Greuel Projects (selection)
Contact
Research Areas
Publications
Curriculum Vitae
PhD Students
Former Assistants and PhD Students
Projects
SINGULAR

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)
Direction of Oberwolfach References on Mathematical Software, 2003 - 2013, funded by the DFG, (ORMS)
Direction of Oberwolfach Digital Archive, 2008 - 2012, funded by the DFG, (ODA)
"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)
Direction of the swMATH - project, an information service for mathematical software, funded by the Leibniz association, 2011 - to date (swMATH)
Scientific Advisor of IMAGINARY - open mathematics. An open, interactive platform and organization for communicating mathematics, 2007 - to date
University of KaiserslauternDepartment of MathematicsAlgebraic Geometry Group