|
 | ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
|
|
Projekt "Algorithmische Algebra und Zahlentheorie" (DFG) |
|
|
Projekt " Mathematisch-symbolische Analyse und Berechnung integrierter Schaltungen" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
Projekt ": Entwicklung anwendungsbezogener Komponenten für das Computeralgebrasystem SINGULAR " (Stiftung Rheinland-Pfalz für Innovation) |
|
|
Projekt "Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen" (DFG) |
|
|
Projekt "Globale Methoden in der komplexen Geometrie" (DFG) |
|
|
Projekt "DAE-Modelle elektrischer Schaltungen, symbolische Vorverarbeitung und numerische Lösung" (Stiftung Rheinland-Pfalz für Innovation) |
|
|
Projekt "Exzellenzcluster des Landes Rheinland-Pfalz (DASMOD)"
KryFoVe : Anwendungen von Computeralgebra auf Kryptographie, Codierungstheorie und formale Verifikation VerSiS : Verifikation und Simulation von eingebetteten hybriden Systemen |
|
|
Projekt " Entwicklung, Implementierung und Anwendung mathematisch-algebraischer Algorithmen bei der formalen Veriofikation digitaler Systeme mit Arithmetikblöcken (DFG)" |
|
|
Projekt " Interface generating toolkid for symbolic computation systems (INTAS 7553)" |
|
|
Projekt " Polynomial mappings: Algebra, Computation and Topology (INTAS 9093)" |
|
|
Projekt " Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory (DFG)" |
|
|
SINGULAR - ein Computeralgebrasystem für polynomiale Berechnungen |
|
|
weitere wissenschaftliche Projekte in der Singularitätentheorie und Computeralgebra |
|
|
Organisation mehrerer Konferenzen in der Singularitätentheorie und Computeralgebra |