11![Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris, Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris,](https://www.pdfsearch.io/img/167187beb977ec2658fce40fb07b05bc.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
12![Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE, Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,](https://www.pdfsearch.io/img/70b3455fecba5a172de3b2e7ae6800ad.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
13![The Generic Multiple-Precision Floating-Point Addition With Correct Rounding (as in the MPFR Library) Vincent L EFÈVRE Loria / INRIA Lorraine 6th Conference on Real Numbers and Computers The Generic Multiple-Precision Floating-Point Addition With Correct Rounding (as in the MPFR Library) Vincent L EFÈVRE Loria / INRIA Lorraine 6th Conference on Real Numbers and Computers](https://www.pdfsearch.io/img/e9c9e3e4709e4e159919f09dcde3b71a.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
14![Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features](https://www.pdfsearch.io/img/02cd926c28eb5563e0e4c42949979fae.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
15![Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon, Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,](https://www.pdfsearch.io/img/734200bed66961f39cef8ac8d7f71452.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
16![The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´ The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´](https://www.pdfsearch.io/img/5b1372b28865a07fd0860ea1fd99091d.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2009-04-03 13:56:10
|
---|
17![Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France,](https://www.pdfsearch.io/img/df409c6201221990b02a60928061c063.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2012-06-28 09:41:10
|
---|
18![MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionSeptember 2005 MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionSeptember 2005](https://www.pdfsearch.io/img/2d7539e98c7def9ba5e657e8bbfa8775.jpg) | Add to Reading ListSource URL: na-inet.jpLanguage: Japanese - Date: 2014-05-04 08:55:52
|
---|
19![Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011 Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011](https://www.pdfsearch.io/img/60de06ab099ee48415d9603ec8f8d66f.jpg) | Add to Reading ListSource URL: caramba.loria.frLanguage: English - Date: 2016-06-13 15:37:32
|
---|
20![MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionNovember 2004 MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionNovember 2004](https://www.pdfsearch.io/img/f7c33664b3eb66aed9dd06bc2a7be779.jpg) | Add to Reading ListSource URL: na-inet.jpLanguage: Japanese - Date: 2014-05-04 08:55:52
|
---|