1![Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)](https://www.pdfsearch.io/img/79ab19d06af107f190fb442c4b124028.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2010-12-09 10:22:15
|
---|
2![Introduction to the IEEEStandard for Interval Arithmetic Introduction to the IEEEStandard for Interval Arithmetic](https://www.pdfsearch.io/img/dba30fcc36783bab813bd49bd8c15d49.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:50
|
---|
3![1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia 1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia](https://www.pdfsearch.io/img/b5ce4bc624723bc3fc7f2ed785090e77.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
4![Doc No: N2137=A Proposal to add Interval Arithmetic to the C++ Standard Library (revision 2) Hervé Brönnimann∗ Doc No: N2137=A Proposal to add Interval Arithmetic to the C++ Standard Library (revision 2) Hervé Brönnimann∗](https://www.pdfsearch.io/img/51f49d5a040da94889e57bf7cc7336c6.jpg) | Add to Reading ListSource URL: www.open-std.org- Date: 2006-11-01 01:59:04
|
---|
5![Function Interval Arithmetic Jan Duracz1 , Amin Farjudian2 , Michal Koneˇcný3 , and Walid Taha4 1 , http://duracz.net/jan Function Interval Arithmetic Jan Duracz1 , Amin Farjudian2 , Michal Koneˇcný3 , and Walid Taha4 1 , http://duracz.net/jan](https://www.pdfsearch.io/img/13931bb8cbd151fb74c61ad11687b88f.jpg) | Add to Reading ListSource URL: duracz.net- Date: 2014-05-26 03:35:10
|
---|
6![BIT Numerical Mathematics, 52(4):1059–1075, 2012 INTERVAL ARITHMETIC OVER FINITELY MANY ENDPOINTS SIEGFRIED M. RUMP ∗ BIT Numerical Mathematics, 52(4):1059–1075, 2012 INTERVAL ARITHMETIC OVER FINITELY MANY ENDPOINTS SIEGFRIED M. RUMP ∗](https://www.pdfsearch.io/img/9b3392de900d7808b2d9928a26f50794.jpg) | Add to Reading ListSource URL: www.ti3.tu-harburg.de- Date: 2012-11-15 06:49:52
|
---|
7![Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter](https://www.pdfsearch.io/img/9ed8e39f5b1414059e898c508ad3377b.jpg) | Add to Reading ListSource URL: gforge.inria.frLanguage: English |
---|
8![P1788 – Standardization of Interval Arithmetic Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC, P1788 – Standardization of Interval Arithmetic Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC,](https://www.pdfsearch.io/img/cac2954d54cca4fda9e4187cf2987e41.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
9![Verified solutions of sparse linear systems Takeshi Ogita Division of Mathematical Sciences, Tokyo Woman’s Christian University 2–6–1 Zempukuji, Suginami-ku, Tokyo 167–8585, Japan Verified solutions of sparse linear systems Takeshi Ogita Division of Mathematical Sciences, Tokyo Woman’s Christian University 2–6–1 Zempukuji, Suginami-ku, Tokyo 167–8585, Japan](https://www.pdfsearch.io/img/bd16e47ec2ad79caabfc2b61cc2c6d7d.jpg) | Add to Reading ListSource URL: conf.nsc.ruLanguage: English - Date: 2012-05-30 00:24:49
|
---|
10![BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany.](https://www.pdfsearch.io/img/904830c8013c4d295582e77a63d02580.jpg) | Add to Reading ListSource URL: www.ti3.tu-harburg.deLanguage: English - Date: 2005-11-23 09:26:23
|
---|