{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T09:03:42Z","timestamp":1750323822877,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_41","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T15:12:06Z","timestamp":1460733126000},"page":"474-488","source":"Crossref","is-referenced-by-count":1,"title":["Using Taylor Models in Exact Real Arithmetic"],"prefix":"10.1007","author":[{"given":"Franz","family":"Brau\u00dfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margarita","family":"Korovina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"41_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.entcs.2008.03.027","volume":"202","author":"A Bauer","year":"2008","unstructured":"Bauer, A., Kavkler, I.: Implementing real numbers with RZ. Electr. Notes Theor. Comput. Sci. 202, 365\u2013384 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"41_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.jlap.2004.07.004","volume":"64","author":"J Blanck","year":"2005","unstructured":"Blanck, J.: Efficient exact computation of iterated maps. J. Log. Algebr. Program. 64(1), 41\u201359 (2005)","journal-title":"J. Log. Algebr. Program."},{"key":"41_CR3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-0-387-68546-5_18","volume-title":"New Computational Paradigms","author":"Vasco Brattka","year":"2008","unstructured":"Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. New Computational Paradigms: Changing Conceptions of What is Computable, pp. 425\u2013491. Springer, New York (2008)"},{"key":"41_CR4","unstructured":"Brau\u00dfe, F., Korovina, M., M\u00fcller, N.T.: Towards using exact real arithmetic for initial value problems. In: PSI: 10th Ershov Informatics Conference, 25\u201327, Innopolis, Kazan, Russia, to appear in Lecture Notes in Computer Science (2015)"},{"issue":"1\u20134","key":"41_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/B:NUMA.0000049462.70970.b6","volume":"37","author":"LH Figueiredo De","year":"2004","unstructured":"De Figueiredo, L.H., Stolfi, J.: Affine arithmetic: concepts and applications. Numerical Algorithms 37(1\u20134), 147\u2013158 (2004)","journal-title":"Numerical Algorithms"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1007\/978-3-662-44199-2_101","volume-title":"Mathematical Software \u2013 ICMS 2014","author":"J Duracz","year":"2014","unstructured":"Duracz, J., Farjudian, A., Kone\u010dn\u00fd, M., Taha, W.: Function Interval Arithmetic. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol. 8592, pp. 677\u2013684. Springer, Heidelberg (2014)"},{"key":"41_CR7","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/S0049-237X(99)80030-5","volume-title":"Handbook of Computability Theory","author":"Yuri L. Ershov","year":"1999","unstructured":"Ershov, Y.: Handbook of Computability Theory, chapter Theory of numberings, pp. 473\u2013503. North-Holland, Amsterdam (1999)"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Hansen, E.R.: A generalized interval arithmetic. In: Interval Mathemantics: Proceedings of the International Symposium, Karlsruhe, West Germany, May 20\u201324, pp. 7\u201318 (1975)","DOI":"10.1007\/3-540-07170-9_2"},{"key":"41_CR9","unstructured":"Khanh, T.V., Ogawa, M.: rasat: SMT for polynomial inequality. Technical Report Research Report IS-RR\u2013003, JAIST (2013)"},{"key":"41_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity theory of real functions","author":"K-I Ko","year":"1991","unstructured":"Ko, K.-I.: Complexity theory of real functions. Birkhauser Boston Inc., Cambridge, MA, USA (1991)"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: Higher order verified inclusions of multidimensional systems by taylor models. Nonlinear Analysis: Theory, Methods & Applications, 47(5), 3503\u20133514, Proceedings of the Third World Congress of Nonlinear Analysts (2001)","DOI":"10.1016\/S0362-546X(01)00467-9"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"M\u00fcller, N.T.: The iRRAM: Exact arithmetic in C++. Lecture notes in computer science, 2991:222\u2013252 (2001)","DOI":"10.1007\/3-540-45335-0_14"},{"issue":"1","key":"41_CR13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Spandl, C.: Computational complexity of iterated maps on the interval (extended abstract). In: Proceedings Seventh International Conference on Computability and Complexity in Analysis, CCA 2010, Zhenjiang, China, 21\u201325th , pp. 139\u2013150, 2010 June 2010","DOI":"10.4204\/EPTCS.24.18"},{"key":"41_CR15","unstructured":"Tupper, J.A.: Graphing equations with generalized interval arithmetic. Master\u2019s thesis, University of Toronto (1996)"},{"key":"41_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable analysis: an introduction","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable analysis: an introduction. Springer-Verlag New York Inc, Secaucus, NJ, USA (2000)"},{"key":"41_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-15582-6_8","volume-title":"Mathematical Software \u2013 ICMS 2010","author":"P Zimmermann","year":"2010","unstructured":"Zimmermann, P.: Reliable Computing with GNU MPFR. In: Fukuda, K., Hoeven, J., Joswig, M., Takayama, N. (eds.) ICMS 2010. LNCS, vol. 6327, pp. 42\u201345. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T20:00:10Z","timestamp":1718481610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}