Prof. Dr. Dr.h.c. Gert-Martin Greuel Projekte (Auswahl)
Kontakt
Forschungsgebiete
Veröffentlichungen
Lebenslauf
Doktorandinnen und Doktoranden
Ehemalige Mitarbeiter und Doktoranden
Projekte
SINGULAR

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)
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
Universität KaiserslauternFachbereich MathematikArbeitsgruppe Algebraische Geometrie