Universität Trier
Fachbereich IV - Informatikwissenschaften

Adresse Behringstraße
54296 Trier
Deutschland

GERiT Diese Institution in GERiT

54296 Trier

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Geometrisches Runden und Vereinfachen und Grundlagen exakten geometrischen Rechnens mit algebraischen Zahlen
    (Antragsteller Näher, Stefan ; Schirra, Stefan )
  - Quantitative uniforme Komplexitätstheorie mehrwertiger reeller Funktionen und Operatoren in Analysis
    (Antragsteller Streicher, Thomas )
  - Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
    (Antragsteller Müller, Norbert )
  - Wrapping-Darstellungen in Exakter Reeller Arithmetik (WERA)
    (Antragsteller Müller, Norbert )
Schwerpunktprogramme
- abgeschlossene Projekte