Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Hauptnavigation / Main Navigation

Sekundärnavigation / Secondary navigation

Projekte

Inhaltsbereich / Content

Projekte

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