Keyword:floating-point arithmetic

Publications
Computing Multiple Roots of Polynomials in Stochastic Arithmetic with Newton Method and Approximate GCD Stef Graillat, Fabienne Jézéquel, Enzo Queiros Martins and Maxime Spyropoulos EasyChair Preprint 7184
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization Farah Benmouhoub, Nasrine Damouche and Matthieu Martel In:TNC'18. Trusted Numerical Computations
Numerical validation in quadruple precision using stochastic arithmetic Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte and Bruno Lathuilière In:TNC'18. Trusted Numerical Computations
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel In:Automated Formal Methods