Christoph Lauter

Available identifiers

Publication	Date of Publication	Type
Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic	2022-03-23	Paper
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters	2020-10-02	Paper
An Efficient Rounding Boundary Test for {\rm pow}(x, y) in Double Precision	2017-08-08	Paper
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa	2017-07-27	Paper
Computing correctly rounded integer powers in floating-point arithmetic	2017-05-19	Paper
Comparison between Binary and Decimal Floating-Point Numbers	2017-05-16	Paper
Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors	2016-10-24	Paper
Replacing Branches by Polynomials in Vectorizable Elementary Functions	2016-05-02	Paper
On Ziv's rounding test	2014-09-12	Paper
Metalibm: A Mathematical Functions Code Generator	2014-09-08	Paper
Efficient and accurate computation of upper bounds of approximation errors	2011-03-29	Paper
Sollya: An Environment for the Development of Numerical Codes	2010-09-14	Paper
Fast and correctly rounded logarithms in double-precision	2008-02-22	Paper

This page was built for person: Christoph Lauter