Mioara Joldes

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

Efficient Floating-Point Implementation of the Probit Function on FPGAs.

[BibT_eX]

[DOI]

Bogdan Pasca

J. Signal Process. Syst., 2021

Special Section on "Emerging and Impacting Trends on Computer Arithmetic".

[BibT_eX]

[DOI]

Fabrizio Lamberti

Alberto Nannarelli

IEEE Trans. Emerg. Top. Comput., 2021

Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2020

Algorithms for Manipulating Quaternions in Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2019

On Moment Problems with Holonomic Functions.

[BibT_eX]

[DOI]

Florent Bréhard

Jean-Bernard Lasserre

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials.

[BibT_eX]

[DOI]

Denis Arzelier

Florent Bréhard

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations.

[BibT_eX]

[DOI]

Florent Bréhard

Nicolas Brisebarre

ACM Trans. Math. Softw., 2018

Handbook of Floating-Point Arithmetic (2nd Ed.).

[BibT_eX]

[DOI]

Nicolas Brunie

Florent de Dinechin

Claude-Pierre Jeannerod

Springer, ISBN: 978-3-319-76526-6, 2018

2017

Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2017

Rigorous uniform approximation of D-finite functions using Chebyshev expansions.

[BibT_eX]

[DOI]

Alexandre Benoît

Marc Mezzarobba

Math. Comput., 2017

Formal Verification of a Floating-Point Expansion Renormalization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

Parallel floating-point expansions for extended-precision GPU computations.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

2014

Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library.

[BibT_eX]

[DOI]

Warwick Tucker

SIGARCH Comput. Archit. News, 2014

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

2012

Rigorous Polynomial Approximation Using Taylor Models in Coq.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

2011

Rigorous Polynomial Approximations and Applications. (Approximations polynomiales rigoureuses et applications).

[BibT_eX]

[DOI]

PhD thesis, 2011

Efficient and accurate computation of upper bounds of approximation errors.

[BibT_eX]

[DOI]

Sylvain Chevillard

J. Harrison

Christoph Quirin Lauter

Theor. Comput. Sci., 2011

Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2).

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

2010

Chebyshev interpolation polynomial-based tools for rigorous computing.

[BibT_eX]

[DOI]

Nicolas Brisebarre

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Sollya: An Environment for the Development of Numerical Codes.

[BibT_eX]

[DOI]

Sylvain Chevillard

Christoph Quirin Lauter

Proceedings of the Mathematical Software, 2010

Multiplicative Square Root Algorithms for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

Automatic generation of polynomial-based hardware architectures for function evaluation.

[BibT_eX]

[DOI]

Florent de Dinechin

Bogdan Pasca

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

2009

Certified and Fast Computation of Supremum Norms of Approximation Errors.

[BibT_eX]

[DOI]

Sylvain Chevillard