Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
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⟩
Journal articles 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
Conference papers ensl-01527202v1

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

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

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⟩
Conference papers hal-00881065v1
Image document

A Library for Symbolic Floating-Point Arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
Preprints, Working Papers, ... hal-01232159v2