{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:01:54Z","timestamp":1761807714166,"version":"3.38.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T00:00:00Z","timestamp":1321488000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11786-011-0103-4","type":"journal-article","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T23:47:05Z","timestamp":1321487225000},"page":"359-375","source":"Crossref","is-referenced-by-count":20,"title":["Stochastic Arithmetic in Multiprecision"],"prefix":"10.1007","volume":"5","author":[{"given":"Stef","family":"Graillat","sequence":"first","affiliation":[]},{"given":"Fabienne","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[]},{"given":"Shiyue","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Yuxiang","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,11,17]]},"reference":[{"issue":"2","key":"103_CR1","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/567806.567808","volume":"28","author":"X.S. Li","year":"2002","unstructured":"Li X.S., Demmel J.W., Bailey D.H., Henry G., Hida Y., Iskandar J., Kahan W., Kang S.Y., Kapur A., Martin M.C., Thompson B.J., Tung T., Yoo D.J.: Design, implementation and testing of extended and mixed precision BLAS. ACM Trans. Math. Softw. 28(2), 152\u2013205 (2002)","journal-title":"ACM Trans. Math. Softw."},{"unstructured":"Fousse, L., Hanrot, G., Lef\u00e8vre, V., P\u00e9lissier, P., Zimmermann, P.: MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2), 13:1\u201313:15 (2007). ( http:\/\/www.mpfr.org )","key":"103_CR2"},{"key":"103_CR3","volume-title":"Rounding errors in algebraic processes","author":"J.H. Wilkinson","year":"1963","unstructured":"Wilkinson J.H.: Rounding errors in algebraic processes. Prentice-Hall Inc., Englewood Cliffs (1963)"},{"key":"103_CR4","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and stability of numerical algorithms","author":"N.J. Higham","year":"2002","unstructured":"Higham N.J.: Accuracy and stability of numerical algorithms. 2nd edn. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (2002)","edition":"2"},{"key":"103_CR5","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718157","volume-title":"Accuracy and Reliability in Scientific Computing. Software-Environments-Tools","author":"B. Einarsson","year":"2005","unstructured":"Einarsson B. et\u00a0al.: Accuracy and Reliability in Scientific Computing. Software-Environments-Tools. SIAM, Philadelphia (2005)"},{"key":"103_CR6","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719673","volume-title":"Lectures on Finite Precision Computations","author":"F. Chaitin-Chatelin","year":"1996","unstructured":"Chaitin-Chatelin F., Frayss\u00e9 V.: Lectures on Finite Precision Computations. Society for Industrial and Applied Mathematics, Philadelphia (1996)"},{"key":"103_CR7","volume-title":"Interval analysis","author":"R. Moore","year":"1966","unstructured":"Moore R.: Interval analysis. Prentice Hall, Saddle River (1966)"},{"key":"103_CR8","volume-title":"Introduction to interval analysis","author":"G. Alefeld","year":"1983","unstructured":"Alefeld G., Herzberger J.: Introduction to interval analysis. Academic Press, New York (1983)"},{"key":"103_CR9","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to interval analysis","author":"R. Moore","year":"2009","unstructured":"Moore R., Kearfott R., Cloud M.: Introduction to interval analysis. Society for Industrial and Applied Mathematics, Philadelphia (2009)"},{"key":"103_CR10","volume-title":"L\u2019arithm\u00e9tique stochastique et le logiciel CADNA","author":"J.M. Chesneaux","year":"1995","unstructured":"Chesneaux J.M.: L\u2019arithm\u00e9tique stochastique et le logiciel CADNA. Habilitation \u00e0 diriger des recherches Universit\u00e9 Pierre et Marie Curie, Paris (1995)"},{"key":"103_CR11","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/0378-4754(93)90003-D","volume":"35","author":"J. Vignes","year":"1993","unstructured":"Vignes J.: A stochastic arithmetic for reliable scientific computation. Math. Comput. Simul. 35, 233\u2013261 (1993)","journal-title":"Math. Comput. Simul."},{"unstructured":"Goubault, E., Putot, S., Baufreton, P., Gassino, J.: Static analysis of the accuracy in control systems: Principles and experiments. In: Proceedings of Formal Methods in Industrial Critical Systems, LNCS 4916, Springer, Berlin (2007)","key":"103_CR12"},{"doi-asserted-by":"crossref","unstructured":"Chesneaux, J.M., Graillat, S., J\u00e9z\u00e9quel, F.: Rounding Errors. In: Encyclopedia of Computer Science and Engineering, vol. 4, pp. 2480\u20132494. Wiley, New York (2009)","key":"103_CR13","DOI":"10.1002\/9780470050118.ecse582"},{"unstructured":"Revol, N., Rouillier, F.: MPFI (Multiple Precision Floating-point Interval library) (2009). (Available at http:\/\/gforge.inria.fr\/projects\/mpfi ).","key":"103_CR14"},{"issue":"4","key":"103_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/212066.212075","volume":"21","author":"D.H. Bailey","year":"1995","unstructured":"Bailey D.H.: A Fortran 90-based multiprecision system. ACM Trans. Math. Softw. 21(4), 379\u2013387 (1995)","journal-title":"ACM Trans. Math. Softw."},{"issue":"1","key":"103_CR16","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R.P. Brent","year":"1978","unstructured":"Brent R.P.: A fortran multiple-precision arithmetic package. ACM Trans. Math. Softw. 4(1), 57\u201370 (1978)","journal-title":"ACM Trans. Math. Softw."},{"doi-asserted-by":"crossref","unstructured":"Priest, D.M.: Algorithms for arbitrary precision floating point arithmetic. In Kornerup, P., Matula, D.W., (eds.) Proceedings of the 10th IEEE Symposium on Computer Arithmetic (Arith-10), Grenoble, France, pp. 132\u2013144. IEEE Computer Society Press, Los Alamitos (1991)","key":"103_CR17","DOI":"10.1109\/ARITH.1991.145549"},{"issue":"3","key":"103_CR18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/PL00009321","volume":"18","author":"J.R. Shewchuk","year":"1997","unstructured":"Shewchuk J.R.: Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discret. Comput. Geom. 18(3), 305\u2013363 (1997)","journal-title":"Discret. Comput. Geom."},{"unstructured":"Bailey, D.H.: A Fortran-90 double-double library (2001). (Available at http:\/\/crd.lbl.gov\/~dhbailey\/mpdist\/index.html )","key":"103_CR19"},{"doi-asserted-by":"crossref","unstructured":"Hida, Y., Li, X.S., Bailey, D.H.: Algorithms for quad-double precision floating point arithmetic. In: Proceedings of 15th IEEE Symposium on Computer Arithmetic, pp. 155\u2013162. IEEE Computer Society Press, Los Alamitos (2001)","key":"103_CR20","DOI":"10.1109\/ARITH.2001.930115"},{"unstructured":"IEEE Computer Society, New York: IEEE Standard for Binary Floating-Point Arithmetic, ANSI\/IEEE Standard, pp. 754\u20131985 (1985). (Reprinted in SIGPLAN Notices 22(2), 9\u201325 (1987))","key":"103_CR21"},{"unstructured":"Grandlund, T.: GNU MP: The GNU Multiple Precision Arithmetic Library. ( http:\/\/gmplib.org )","key":"103_CR22"},{"key":"103_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced Arithmetic for the Digital Computer","author":"U. Kulisch","year":"2002","unstructured":"Kulisch U.: Advanced Arithmetic for the Digital Computer. Springer, Wien (2002)"},{"key":"103_CR24","first-page":"19","volume-title":"Contribution to Computer Arithmetic and Self-Validating Numerical Methods","author":"J.M. Chesneaux","year":"1990","unstructured":"Chesneaux J.M.: Study of the computing accuracy by using probabilistic approach. In: Ullrich, C. (eds) Contribution to Computer Arithmetic and Self-Validating Numerical Methods, pp. 19\u201330. IMACS, New Brunswick (1990)"},{"key":"103_CR25","first-page":"855","volume":"307","author":"J.M. Chesneaux","year":"1988","unstructured":"Chesneaux J.M., Vignes J.: Sur la robustesse de la m\u00e9thode CESTAC. C. R. Acad. Sci. Paris S\u00e9r. I Math. 307, 855\u2013860 (1988)","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. I Math."},{"key":"103_CR26","first-page":"997","volume":"303","author":"J. Vignes","year":"1986","unstructured":"Vignes J.: Z\u00e9ro math\u00e9matique et z\u00e9ro informatique. C. R. Acad. Sci. Paris S\u00e9r. I Math 303, 997\u20131000 (1986)","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. I Math"},{"issue":"1","key":"103_CR27","first-page":"1","volume":"4","author":"J. Vignes","year":"1987","unstructured":"Vignes J.: Z\u00e9ro math\u00e9matique et z\u00e9ro informatique. La Vie des Sciences 4(1), 1\u201313 (1987)","journal-title":"La Vie des Sciences"},{"unstructured":"Universit\u00e9 Pierre et Marie Curie, Paris, F.: CADNA: Control of Accuracy and Debugging for Numerical Applications. ( http:\/\/www.lip6.fr\/cadna )","key":"103_CR28"},{"issue":"12","key":"103_CR29","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1016\/j.cpc.2008.02.003","volume":"178","author":"F. J\u00e9z\u00e9quel","year":"2008","unstructured":"J\u00e9z\u00e9quel F., Chesneaux J.M.: CADNA: a library for estimating round-off error propagation. Comput. Phys. Commun. 178(12), 933\u2013955 (2008)","journal-title":"Comput. Phys. Commun."},{"issue":"11","key":"103_CR30","doi-asserted-by":"crossref","first-page":"1927","DOI":"10.1016\/j.cpc.2010.07.012","volume":"181","author":"F. J\u00e9z\u00e9quel","year":"2010","unstructured":"J\u00e9z\u00e9quel F., Chesneaux J.M., Lamotte J.L.: A new version of the CADNA library for estimating round-off error propagation in Fortran programs. Comput. Phys. Commun. 181(11), 1927\u20131928 (2010)","journal-title":"Comput. Phys. Commun."},{"issue":"11","key":"103_CR31","doi-asserted-by":"crossref","first-page":"1925","DOI":"10.1016\/j.cpc.2010.07.006","volume":"181","author":"J.L. Lamotte","year":"2010","unstructured":"Lamotte J.L., Chesneaux J.M., J\u00e9z\u00e9quel F.: CADNA_C: A version of CADNA for use with C or C++ programs. Comput. Phys. Commun. 181(11), 1925\u20131926 (2010)","journal-title":"Comput. Phys. Commun."},{"key":"103_CR32","first-page":"84","volume-title":"Scientific Computing and Validated Numerics","author":"J.M. Chesneaux","year":"1996","unstructured":"Chesneaux J.M., Troff B.: Computational stability study using the CADNA software applied to the Navier-Stokes solver PEGASE. In: Alefeld, G., Frommer, A. (eds) Scientific Computing and Validated Numerics, pp. 84\u201390. Akademie, Berlin (1996)"},{"key":"103_CR33","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/S0378-4754(99)00003-8","volume":"48","author":"N. Alberstein","year":"1999","unstructured":"Alberstein N., Chesneaux J.M., Christiansen S., Wirgin A.: Comparison of four software packages applied to a scattering problem. Math. Comput. Simul. 48, 307\u2013318 (1999)","journal-title":"Math. Comput. Simul."},{"issue":"1","key":"103_CR34","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/j.matcom.2005.11.014","volume":"71","author":"F. J\u00e9z\u00e9quel","year":"2006","unstructured":"J\u00e9z\u00e9quel F., Rico F., Chesneaux J.M., Charikhi M.: Reliable computation of a multiple integral involved in the neutron star theory. Math. Comput. Simul. 71(1), 44\u201361 (2006)","journal-title":"Math. Comput. Simul."},{"issue":"8","key":"103_CR35","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/j.cpc.2007.01.005","volume":"176","author":"N. Scott","year":"2007","unstructured":"Scott N., J\u00e9z\u00e9quel F., Denis C., Chesneaux J.M.: Numerical \u2019health check\u2019 for scientific codes: the CADNA approach. Comput. Phys. Commun. 176(8), 507\u2013521 (2007)","journal-title":"Comput. Phys. Commun."},{"issue":"3","key":"103_CR36","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1134\/S1547477108030023","volume":"5","author":"N. Scott","year":"2008","unstructured":"Scott N., Faro-Maza V., Scott M., Harmer T., Chesneaux J.M., Denis C., J\u00e9z\u00e9quel F.: E-collisions using e-science. Phys. Part. Nuclei Lett. 5(3), 150\u2013156 (2008)","journal-title":"Phys. Part. Nuclei Lett."},{"key":"103_CR37","volume-title":"Reliability in Computing. The Role of Interval Methods in Scientific Computing","author":"S. Rump","year":"1988","unstructured":"Rump S.: Reliability in Computing. The Role of Interval Methods in Scientific Computing. Academic Press, Oakville (1988)"},{"unstructured":"Muller J.M.: Arithm\u00e9tique des Ordinateurs. Academic Press, Masson (1989)","key":"103_CR38"},{"issue":"1","key":"103_CR39","first-page":"2","volume":"4","author":"J.M. Chesneaux","year":"1998","unstructured":"Chesneaux J.M., J\u00e9z\u00e9quel F.: Dynamical control of computations using the trapezoidal and Simpson\u2019s rules. J. Univers. Comput. Sci. 4(1), 2\u201310 (1998)","journal-title":"J. Univers. Comput. Sci."},{"issue":"2","key":"103_CR40","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.apnum.2003.12.021","volume":"50","author":"F. J\u00e9z\u00e9quel","year":"2004","unstructured":"J\u00e9z\u00e9quel F.: Dynamical control of converging sequences computation. Appl. Numer. Math. 50(2), 147\u2013164 (2004)","journal-title":"Appl. Numer. Math."},{"issue":"3","key":"103_CR41","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1023\/B:NUMA.0000040066.63826.46","volume":"36","author":"F. J\u00e9z\u00e9quel","year":"2004","unstructured":"J\u00e9z\u00e9quel F., Chesneaux J.M.: Computation of an infinite integral using Romberg\u2019s method. Num. Algo. 36(3), 265\u2013283 (2004)","journal-title":"Num. Algo."},{"key":"103_CR42","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/j.crme.2006.04.005","volume":"334","author":"F. J\u00e9z\u00e9quel","year":"2006","unstructured":"J\u00e9z\u00e9quel F.: A dynamical strategy for approximation methods. C. R. Acad. Sci. Paris M\u00e9canique 334, 362\u2013367 (2006)","journal-title":"C. R. Acad. Sci. Paris M\u00e9canique"},{"issue":"7","key":"103_CR43","doi-asserted-by":"crossref","first-page":"670","DOI":"10.2307\/3072448","volume":"109","author":"Z. Ahmed","year":"2002","unstructured":"Ahmed Z.: Definitely an integral. Am Math. Month. 109(7), 670\u2013671 (2002)","journal-title":"Am Math. Month."},{"unstructured":"Bailey, D., Li, X.: A comparison of three high-precision quadrature schemes. In: Proceedings of 5th Real Numbers and Computers conference, Lyon, France, pp. 81\u201395 (2003)","key":"103_CR44"},{"key":"103_CR45","volume-title":"An introduction to chaotic dynamical systems","author":"R.L. Devaney","year":"1989","unstructured":"Devaney R.L.: An introduction to chaotic dynamical systems. Second edn. Addison-Wesley Studies in Nonlinearity, Addison-Wesley Publishing Company Advanced Book Program, Redwood City (1989)","edition":"2"},{"key":"103_CR46","volume-title":"An exploration of chaos. Texts on Computational Mechanics, vol. VII","author":"J. Argyris","year":"1994","unstructured":"Argyris J., Faust G., Haase M.: An exploration of chaos. Texts on Computational Mechanics, vol. VII. North-Holland Publishing Co., Amsterdam (1994)"},{"issue":"12","key":"103_CR47","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.1016\/S0764-4442(99)80439-X","volume":"328","author":"W. Tucker","year":"1999","unstructured":"Tucker W.: The Lorenz attractor exists. C. R. Acad. Sci. Paris S\u00e9r. I Math. 328(12), 1197\u20131202 (1999)","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. I Math."},{"doi-asserted-by":"crossref","unstructured":"Galias, Z., Tucker, W.: Rigorous study of short periodic orbits for the Lorenz system. In: Proceedings of IEEE International Symposium on Circuits and Systems, pp. 764\u2013767. ISCAS\u201908, Seattle (2008)","key":"103_CR48","DOI":"10.1109\/ISCAS.2008.4541530"},{"doi-asserted-by":"crossref","unstructured":"Tucker, W.: Fundamentals of chaos. In: Kocarev, L., et\u00a0al. (eds.) Intelligent computing based on chaos. Studies in Computational Intelligence, vol. 184, pp. 1\u201323. Springer, Berlin (2009)","key":"103_CR49","DOI":"10.1007\/978-3-540-95972-4_1"},{"unstructured":"Pichat, M., Vignes, J.: The numerical study of chaotic systems\u2014future and past. In: 16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation. Lausanne, Switzerland (2000)","key":"103_CR50"},{"issue":"1","key":"103_CR51","doi-asserted-by":"crossref","first-page":"109","DOI":"10.15388\/NA.2010.15.1.14368","volume":"15","author":"L.S. Yao","year":"2010","unstructured":"Yao L.S.: Computed chaos or numerical errors. Nonlinear Anal. Model. Contr. 15(1), 109\u2013126 (2010)","journal-title":"Nonlinear Anal. Model. Contr."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-011-0103-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-011-0103-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-011-0103-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T04:22:39Z","timestamp":1741926159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-011-0103-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,17]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["103"],"URL":"https:\/\/doi.org\/10.1007\/s11786-011-0103-4","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"type":"print","value":"1661-8270"},{"type":"electronic","value":"1661-8289"}],"subject":[],"published":{"date-parts":[[2011,11,17]]}}}