Knowledge Tree

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