|
|
Sharp error bounds for complex floating-point inversion
Claude-Pierre Jeannerod
,
Nicolas Louvet
,
Jean-Michel Muller
,
Antoine Plet
Journal articles
ensl-01195625v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Interactive quantum chemistry: A divide-and-conquer ASED-MO method
Maël Bosson
,
Antoine Plet
,
Sergei Grudinin
,
Stephane Redon
,
Caroline Richard
et al.
Journal articles
istex
hal-00755498v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Library for Symbolic Floating-Point Arithmetic
Claude-Pierre Jeannerod
,
Nicolas Louvet
,
Jean-Michel Muller
,
Antoine Plet
2016
Preprints, Working Papers, ...
hal-01232159v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|