Professor Dr. Gert-Martin Greuel

Address Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Mathematik
Gottlieb-Daimler-Straße 68
67663 Kaiserslautern

Projects

As Applicant
- Completed projects
  - Dimensionierung analoger Schaltkreise mit Methoden der Computeralgebra (Priority Programmes)
  - Geomtry of families of singular projective varieties (Priority Programmes)
  - Die abgeleitete Kategorie kohärenter Garben auf rationalen projektiven Kurven und Darstellungen assoziativer Algebren (Research Grants)
  - Entwicklung, Implementierung und Anwendung von auf Gröbnerbasen beruhenden Algorithmen für eine Klasse nicht-kommutativer Algebren (Research Grants)
  - Entwicklung. Implementierung und Anwendung mathematisch-algebraischer Algorithmen bei der formalen Verifikation digitaler Systeme mit Arithmetikblöcken (Research Grants)
  - Improving and Combining Gröbner bases and SAT solving techniques for algebraic cryptanalysis (Priority Programmes)
As Participating Researcher
- Completed projects
  - GRK 753: Mathematical Modelling, Optimization, Prognosis and Control of Technical, Economical and Medical Systems (Research Training Groups)