| Publication | Date of Publication | Type |
|---|
| Floating-point arithmetic | 2023-09-12 | Paper |
| Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers | 2022-07-01 | Paper |
| Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” | 2022-03-29 | Paper |
| Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic | 2022-03-23 | Paper |
| Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform | 2020-11-10 | Paper |
| Algorithms for Triple-Word Arithmetic | 2020-01-28 | Paper |
| On the Robustness of the 2Sum and Fast2Sum Algorithms | 2018-08-17 | Paper |
| Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic | 2018-08-17 | Paper |
| Reciprocation, square root, inverse square root, and some elementary functions using small multipliers | 2018-07-09 | Paper |
| Semi-logarithmic number systems | 2018-07-09 | Paper |
| Handbook of Floating-Point Arithmetic | 2018-04-04 | Paper |
| Formal verification of a floating-point expansion renormalization algorithm | 2018-01-04 | Paper |
| Correctly Rounded Multiplication by Arbitrary Precision Constants | 2017-11-10 | Paper |
| Automatic Generation of Modular Multipliers for FPGA Applications | 2017-08-08 | Paper |
| Exact and Approximated Error of the FMA | 2017-07-27 | Paper |
| Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic | 2017-07-27 | Paper |
| Performing Arithmetic Operations on Round-to-Nearest Representations | 2017-07-27 | Paper |
| On the Computation of Correctly Rounded Sums | 2017-07-12 | Paper |
| On the Error of Computing ab + cd using Cornea, Harrison and Tang's Method | 2017-06-30 | 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 |
| Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions | 2017-05-16 | Paper |
| Error bounds on complex floating-point multiplication with an FMA | 2017-01-04 | Paper |
| Sharp error bounds for complex floating-point inversion | 2016-11-18 | Paper |
| CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications | 2016-09-28 | Paper |
| Elementary Functions | 2016-08-10 | Paper |
| On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic | 2015-11-17 | Paper |
| On Ziv's rounding test | 2014-09-12 | Paper |
| Some issues related to double rounding | 2014-02-03 | Paper |
| Further analysis of Kahan’s algorithm for the accurate computation of $2\times 2$ determinants | 2013-08-06 | Paper |
| Handbook of Floating-Point Arithmetic | 2009-05-26 | Paper |
| Computing machine-efficient polynomial approximations | 2008-12-21 | Paper |
| Complex square root with operand prescaling | 2008-03-13 | Paper |
| Correct rounding of algebraic functions | 2008-02-22 | Paper |
| Fast and correctly rounded logarithms in double-precision | 2008-02-22 | Paper |
| A new range-reduction algorithm | 2007-01-09 | Paper |
| Choosing starting values for certain Newton-Raphson iterations | 2006-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715562 | 2006-01-03 | Paper |
| Number of solutions of a binary of the equation \(A^2+B^2=C^2+C\) | 2005-09-28 | Paper |
| Proposal for a standardization of mathematical function implementation in floating-point arith\-metic | 2005-09-05 | Paper |
| On-the-fly range reduction | 2003-08-25 | Paper |
| A radix-10 BKM algorithm for computing transcendentals on pocket computers | 2001-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520280 | 2001-02-26 | Paper |
| A few results on table-based methods | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234512 | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949366 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373854 | 1998-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885353 | 1996-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851661 | 1995-10-11 | Paper |
| Some operators for on-line radix-2 computations | 1995-02-13 | Paper |
| BKM: a new hardware algorithm for complex elementary functions | 1994-01-01 | Paper |
| Some characterizations of functions computable in on-line arithmetic | 1994-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026825 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3031898 | 1988-01-01 | Paper |
| A Way to Build Efficient Carry-Skip Adders | 1987-01-01 | Paper |
| Parallel QR decomposition of a rectangular matrix | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709932 | 1986-01-01 | Paper |
| Une méthodologie du calcul hardware des fonctions élémentaires | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725611 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740240 | 1985-01-01 | Paper |
