Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Sharp error bounds for complex floating-point inversion

 Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
Numerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Article dans une revue ensl-01195625v2
Image document

The Classical Relative Error Bounds for Computing $\sqrt(a^2 + b^2)$ and $c/\sqrt(a^2 + b^2)$ in Binary Floating-Point Arithmetic are Asymptotically Optimal

 Claude-Pierre Jeannerod , Jean-Michel Muller , Antoine Plet
ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8
Communication dans un congrès ensl-01527202v1
Image document

A Library for Symbolic Floating-Point Arithmetic

 Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
2016
Pré-publication, Document de travail hal-01232159v2

Lengths may break privacy -- or how to check for equivalences with length

 Vincent Cheval , Véronique Cortier , Antoine Plet
CAV'13 - 25th International Conference on Computer Aided Verification - 2013, Jul 2013, Saint Petersbourg, Russia. pp.708-723, ⟨10.1007/978-3-642-39799-8_50⟩
Communication dans un congrès hal-00881065v1

Interactive quantum chemistry: A divide-and-conquer ASED-MO method

 Maël Bosson , Antoine Plet , Sergei Grudinin , Stephane Redon , Caroline Richard
Journal of Computational Chemistry, 2012, 33 (7), pp.779-790. ⟨10.1002/jcc.22905⟩
Article dans une revue istex hal-00755498v1
Page :