Ch. Lauter

Available identifiers

zbMath Open lauter.christoph-quirinMaRDI QIDQ633636

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ch. Lauter