Antoine Plet
According to our database1,
Antoine Plet
authored at least 5 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Contribution to error analysis of algorithms in floating-point arithmetic. (Contribution à l'analyse d'algorithmes en arithmétique à virgule flottante).
PhD thesis, 2017
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.
Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017
2016
2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
J. Comput. Chem., 2012