Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Gert-Martin Greuel

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Dimensionierung analoger Schaltkreise mit Methoden der Computeralgebra (Schwerpunktprogramme)
  - Geometrie von Familien singulärer projektiver Varietäten (Schwerpunktprogramme)
  - Die abgeleitete Kategorie kohärenter Garben auf rationalen projektiven Kurven und Darstellungen assoziativer Algebren (Sachbeihilfen)
  - Entwicklung, Implementierung und Anwendung von auf Gröbnerbasen beruhenden Algorithmen für eine Klasse nicht-kommutativer Algebren (Sachbeihilfen)
  - Entwicklung. Implementierung und Anwendung mathematisch-algebraischer Algorithmen bei der formalen Verifikation digitaler Systeme mit Arithmetikblöcken (Sachbeihilfen)
  - Improving and Combining Gröbner bases and SAT solving techniques for algebraic cryptanalysis (Schwerpunktprogramme)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 753: Mathematik und Praxis. Modellierung, Optimierung, Prognose und Steuerung von technischen, ökonomischen und medizinischen Systemen (Graduiertenkollegs)

© 2024 DFG Kontakt / Impressum / Datenschutz