Christoph Lauter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic IEEE Transactions on Computers	2022-03-23	Paper
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters IEEE Transactions on Computers	2020-10-02	Paper
An Efficient Rounding Boundary Test for {\rm pow}(x, y) in Double Precision IEEE Transactions on Computers	2017-08-08	Paper
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa IEEE Transactions on Computers	2017-07-27	Paper
Computing correctly rounded integer powers in floating-point arithmetic ACM Transactions on Mathematical Software	2017-05-19	Paper
Comparison between Binary and Decimal Floating-Point Numbers IEEE Transactions on Computers	2017-05-16	Paper
Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors ACM Transactions on Mathematical Software	2016-10-24	Paper
Replacing branches by polynomials in vectorizable elementary functions Scientific Computing, Computer Arithmetic, and Validated Numerics	2016-05-02	Paper
On Ziv's rounding test ACM Transactions on Mathematical Software	2014-09-12	Paper
Metalibm: a mathematical functions code generator Mathematical Software – ICMS 2014	2014-09-08	Paper
Efficient and accurate computation of upper bounds of approximation errors Theoretical Computer Science	2011-03-29	Paper
Sollya: an environment for the development of numerical codes Mathematical Software – ICMS 2010	2010-09-14	Paper
Fast and correctly rounded logarithms in double-precision RAIRO - Theoretical Informatics and Applications	2008-02-22	Paper
Fast and correctly rounded logarithms in double-precision RAIRO - Theoretical Informatics and Applications	2008-02-22	Paper

Research outcomes over time

This page was built for person: Christoph Lauter