Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Universität Trier
Fachbereich IV - Informatikwissenschaften
Address
Behringstraße
54296 Trier
Deutschland
GERiT
This institution in GERiT
54296 Trier
Projects
Research Grants
Completed projects
Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER)
(Applicant
Müller, Norbert
)
Geometrisches Runden und Vereinfachen und Grundlagen exakten geometrischen Rechnens mit algebraischen Zahlen
(Applicants
Näher, Stefan
;
Schirra, Stefan
)
Quantitative Uniform Complexity Theory of Multivalued Real Functions and Operators in Analysis
(Applicant
Streicher, Thomas
)
Wrapping Representations in Exact Real Arithmetic (WERA)
(Applicant
Müller, Norbert
)
Priority Programmes
Completed projects
Design, Analyse, Implementierung, Evaluierung und experimentelle Anwendung von Algorithmen zum Zeichnen von Graphen
(Applicant
Mutzel, Petra
)
Design, Analyse, Implementierung, Evaluierung und experimentelle Anwendung von Algorithmen zum Zeichnen von Graphen
(Applicant
Jünger, Michael
)
Design, Analyse, Implementierung, Evaluierung und experimentelle Anwendung von Algorithmen zum Zeichnen von Graphen
(Applicant
Näher, Stefan
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
