Claude-Pierre Jeannerod

Antoine Plet

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

On the relative error of computing complex square roots in floating-point arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

2016

A Radix-Independent Error Analysis of the Cornea-Harrison-Tang Method.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2016

Sharp error bounds for complex floating-point inversion.

[BibT_eX]

[DOI]

Antoine Plet

Numer. Algorithms, 2016

Fast Computation of Minimal Interpolation Bases in Popov Form for Arbitrary Shifts.

[BibT_eX]

[DOI]

Vincent Neiger

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

Faster Algorithms for Multivariate Interpolation With Multiplicities and Simultaneous Polynomial Approximations.

[BibT_eX]

[DOI]

Muhammad F. I. Chowdhury

Vincent Neiger

IEEE Trans. Inf. Theory, 2015

Exploiting Structure in Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2014

Improved Backward Error Bounds for LU and Cholesky Factorizations.

[BibT_eX]

[DOI]

Siegfried M. Rump

SIAM J. Matrix Anal. Appl., 2014

2013

Improved Error Bounds for Inner Products in Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Siegfried M. Rump

SIAM J. Matrix Anal. Appl., 2013

Further analysis of Kahan's algorithm for the accurate computation of 2×2 determinants.

[BibT_eX]

[DOI]

Math. Comput., 2013

Rank-profile revealing Gaussian elimination and the CUP matrix decomposition.

[BibT_eX]

[DOI]

Clément Pernet

Arne Storjohann

J. Symb. Comput., 2013

On the Componentwise Accuracy of Complex Floating-Point Division with an FMA.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

2012

Non-generic floating-point software support for embedded media processing.

[BibT_eX]

[DOI]

Jingyan Jourdan-Lu

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Simultaneous Floating-Point Sine and Cosine for VLIW Integer Processors.

[BibT_eX]

[DOI]

Jingyan Jourdan-Lu

Proceedings of the 23rd IEEE International Conference on Application-Specific Systems, 2012

2011

Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Adrien Panhaleux

IEEE Trans. Computers, 2011

Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation.

[BibT_eX]

[DOI]

Herve Knochel

Guillaume Revy

IEEE Trans. Computers, 2011

How to Square Floats Accurately and Efficiently on the ST231 Integer Processor.

[BibT_eX]

[DOI]

Jingyan Jourdan-Lu

Guillaume Revy

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

2010

LEMA: towards a language for reliable arithmetic.

[BibT_eX]

[DOI]

Vincent Lefèvre

Philippe Théveny

Florent de Dinechin

David Pfannholzer

Nathalie Revol

ACM Commun. Comput. Algebra, 2010

Computing specified generators of structured matrix inverses.

[BibT_eX]

[DOI]

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

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Handbook of Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Nicolas Brisebarre

Florent de Dinechin

Birkhäuser, ISBN: 978-0-8176-4704-9, 2010

2009

Extending Cardinal's algorithm to a broader class of structured matrices.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2009

A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009

2007

Faster floating-point square root for integer processors.

[BibT_eX]

[DOI]

Herve Knochel

Guillaume Revy

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Solving toeplitz- and vandermonde-like linear systems with large displacement rank.

[BibT_eX]

[DOI]

Alin Bostan

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

2006

Solving structured linear systems of large displacement rank.

[BibT_eX]

[DOI]

Alin Bostan

ACM Commun. Comput. Algebra, 2006

Using fast matrix multiplication to solve structured linear systems.

[BibT_eX]

[DOI]

Alin Bostan

Proceedings of the Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, 2006

2005

Essentially optimal computation of the inverse of generic polynomial matrices.

[BibT_eX]

[DOI]

J. Complex., 2005

Asymptotically fast polynomial matrix algorithms for multivariable systems

[BibT_eX]

[DOI]

CoRR, 2005

2003

On the complexity of polynomial matrix computations.

[BibT_eX]

[DOI]

Pascal Giorgi

Proceedings of the Symbolic and Algebraic Computation, 2003

2002

A reduced form for perturbed matrix polynomials.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2002

2000

Formes normales de perturbations de matrices : étude et calcul exact. (Studies in matrix perturbations : algebraic computation of normal forms).

[BibT_eX]

[DOI]

PhD thesis, 2000

An algorithm for the eigenvalue perturbation problem: reduction of a -matrix to a Lidskii matrix.

[BibT_eX]

[DOI]

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

1999

A Reduction Algorithm for Matrices Depending on a Parameter.

[BibT_eX]

[DOI]

Eckhard Pflügel

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

1998

Global error estimation for index-1 and -2 DAEs.

[BibT_eX]

[DOI]