Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Christoph Quirin Lauter

Christoph Quirin Lauter

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Arrondi correct de fonctions mathématiques : fonctions univariées et bivariées, certification et automatisation

Directed Thesis:

Towards reliable implementation of digital filters
Towards a modern floating-point environment