| Publication | Date of Publication | Type |
|---|
Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
Numerische Mathematik | 2025-10-17 | Paper |
Accurate calculation of Euclidean norms using double-word arithmetic
ACM Transactions on Mathematical Software | 2024-09-06 | Paper |
Floating-point arithmetic
Acta Numerica | 2023-09-12 | Paper |
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers
Numerical Software Verification | 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”
ACM Transactions on Mathematical Software | 2022-03-29 | Paper |
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 |
Error analysis of some operations involved in the Cooley-Tukey fast Fourier transform
ACM Transactions on Mathematical Software | 2020-11-10 | Paper |
Algorithms for Triple-Word Arithmetic
IEEE Transactions on Computers | 2020-01-28 | Paper |
On the robustness of the 2Sum and Fast2Sum algorithms
ACM Transactions on Mathematical Software | 2018-08-17 | Paper |
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
ACM Transactions on Mathematical Software | 2018-08-17 | Paper |
Reciprocation, square root, inverse square root, and some elementary functions using small multipliers
IEEE Transactions on Computers | 2018-07-09 | Paper |
Semi-logarithmic number systems
IEEE Transactions on Computers | 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
IEEE Transactions on Computers | 2017-11-10 | Paper |
Automatic Generation of Modular Multipliers for FPGA Applications
IEEE Transactions on Computers | 2017-08-08 | Paper |
Exact and Approximated Error of the FMA
IEEE Transactions on Computers | 2017-07-27 | Paper |
Performing Arithmetic Operations on Round-to-Nearest Representations
IEEE Transactions on Computers | 2017-07-27 | Paper |
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic
IEEE Transactions on Computers | 2017-07-27 | Paper |
On the Computation of Correctly Rounded Sums
IEEE Transactions on Computers | 2017-07-12 | Paper |
On the error of computing \(ab+cd\) using Cornea, Harrison and Tang's method
ACM Transactions on Mathematical Software | 2017-06-30 | Paper |
Computing correctly rounded integer powers in floating-point arithmetic
ACM Transactions on Mathematical Software | 2017-05-19 | Paper |
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
IEEE Transactions on Computers | 2017-05-16 | Paper |
Comparison between Binary and Decimal Floating-Point Numbers
IEEE Transactions on Computers | 2017-05-16 | Paper |
Error bounds on complex floating-point multiplication with an FMA
Mathematics of Computation | 2017-01-04 | Paper |
Sharp error bounds for complex floating-point inversion
Numerical Algorithms | 2016-11-18 | Paper |
CAMPARY: CUDA multiple precision arithmetic library and applications
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
| Elementary functions. Algorithms and implementation | 2016-08-10 | Paper |
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
Numerical Algorithms | 2015-11-17 | Paper |
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
Numerical Algorithms | 2015-11-17 | Paper |
On Ziv's rounding test
ACM Transactions on Mathematical Software | 2014-09-12 | Paper |
Some issues related to double rounding
BIT | 2014-02-03 | Paper |
Further analysis of Kahan's algorithm for the accurate computation of \(2\times 2\) determinants
Mathematics of Computation | 2013-08-06 | Paper |
| Handbook of Floating-Point Arithmetic | 2009-05-26 | Paper |
Computing machine-efficient polynomial approximations
ACM Transactions on Mathematical Software | 2008-12-21 | Paper |
Complex square root with operand prescaling
Journal of VLSI signal processing systems for signal, image and video technology | 2008-03-13 | 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 |
Correct rounding of algebraic functions
RAIRO - Theoretical Informatics and Applications | 2008-02-22 | Paper |
Correct rounding of algebraic functions
RAIRO - Theoretical Informatics and Applications | 2008-02-22 | Paper |
A new range-reduction algorithm
IEEE Transactions on Computers | 2007-01-09 | Paper |
Choosing starting values for certain Newton-Raphson iterations
Theoretical Computer Science | 2006-03-20 | Paper |
| scientific article; zbMATH DE number 2243090 (Why is no real title available?) | 2006-01-03 | Paper |
Number of solutions of a binary of the equation \(A^2+B^2=C^2+C\)
L'Enseignement Mathématique. 2e Série | 2005-09-28 | Paper |
Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
Numerical Algorithms | 2005-09-05 | Paper |
On-the-fly range reduction
Journal of VLSI signal processing systems for signal, image and video technology | 2003-08-25 | Paper |
A radix-10 BKM algorithm for computing transcendentals on pocket computers
Journal of VLSI signal processing systems for signal, image and video technology | 2001-06-21 | Paper |
| scientific article; zbMATH DE number 1542831 (Why is no real title available?) | 2001-02-26 | Paper |
A few results on table-based methods
Reliable Computing | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1263587 (Why is no real title available?) | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1440923 (Why is no real title available?) | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1109070 (Why is no real title available?) | 1998-01-25 | Paper |
| scientific article; zbMATH DE number 903740 (Why is no real title available?) | 1996-10-27 | Paper |
| scientific article; zbMATH DE number 804655 (Why is no real title available?) | 1995-10-11 | Paper |
Some operators for on-line radix-2 computations
Journal of Parallel and Distributed Computing | 1995-02-13 | Paper |
Some characterizations of functions computable in on-line arithmetic
IEEE Transactions on Computers | 1994-01-01 | Paper |
BKM: a new hardware algorithm for complex elementary functions
IEEE Transactions on Computers | 1994-01-01 | Paper |
| scientific article; zbMATH DE number 125163 (Why is no real title available?) | 1993-02-21 | Paper |
| scientific article; zbMATH DE number 4129958 (Why is no real title available?) | 1988-01-01 | Paper |
A Way to Build Efficient Carry-Skip Adders
IEEE Transactions on Computers | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3938610 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3999131 (Why is no real title available?) | 1986-01-01 | Paper |
Parallel QR decomposition of a rectangular matrix
Numerische Mathematik | 1986-01-01 | Paper |
Une méthodologie du calcul hardware des fonctions élémentaires
ESAIM: Mathematical Modelling and Numerical Analysis | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3974300 (Why is no real title available?) | 1985-01-01 | Paper |
Floating-Point Arithmetic on Round-to-Nearest Representations
(available as arXiv preprint) | N/A | Paper |
Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
(available as arXiv preprint) | N/A | Paper |
