{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:59:35Z","timestamp":1757311175354},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_101","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T18:17:11Z","timestamp":1406830631000},"page":"677-684","source":"Crossref","is-referenced-by-count":5,"title":["Function Interval Arithmetic"],"prefix":"10.1007","author":[{"given":"Jan","family":"Duracz","sequence":"first","affiliation":[]},{"given":"Amin","family":"Farjudian","sequence":"additional","affiliation":[]},{"given":"Michal","family":"Kone\u010dn\u00fd","sequence":"additional","affiliation":[]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"101_CR1","unstructured":"Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. Presented at SIBGRAPI 1993, Recife, PE, Brazil (October 1993)"},{"issue":"1","key":"101_CR2","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/2578855.2535874","volume":"49","author":"E. Darulova","year":"2014","unstructured":"Darulova, E., Kuncak, V.: Sound compilation of reals. SIGPLAN Not.\u00a049(1), 235\u2013248 (2014)","journal-title":"SIGPLAN Not."},{"key":"101_CR3","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10472-014-9409-7","volume":"70","author":"J. Duracz","year":"2014","unstructured":"Duracz, J., Kone\u010dn\u00fd, M.: Polynomial function intervals for floating-point software verification. Annals of Mathematics and Artificial Intelligence\u00a070, 351\u2013398 (2014)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"101_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1112\/S1461157000001315","volume":"10","author":"A. Edalat","year":"2007","unstructured":"Edalat, A., Pattinson, D.: A domain-theoretic account of Picard\u2019s theorem. LMS Journal of Computation and Mathematics\u00a010, 83\u2013118 (2007)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"101_CR5","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. Encycloedia of Mathematics and its Applications, vol.\u00a093. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511542725"},{"key":"101_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-7091-8577-3_3","volume":"2","author":"E. Kaucher","year":"1980","unstructured":"Kaucher, E.: Interval analysis in the extended interval space IR. Computing Suppl.\u00a02, 33\u201349 (1980)","journal-title":"Computing Suppl."},{"key":"101_CR7","doi-asserted-by":"crossref","unstructured":"Kone\u010dn\u00fd, M., Taha, W., Duracz, J., Duracz, A., Ames, A.: Enclosing the behavior of a hybrid system up to and beyond a Zeno point, pp. 120\u2013125. IEEE (2013)","DOI":"10.1109\/CPSNA.2013.6614258"},{"key":"101_CR8","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: New applications of Taylor model methods. In: Automatic Differentiation of Algorithms: From Simulation to Optimization, ch. 43, pp. 359\u2013364. Springer (2002)","DOI":"10.1007\/978-1-4613-0075-5_43"},{"key":"101_CR9","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: Rigorous integration of flows and odes using taylor models. In: Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009, pp. 79\u201384. ACM, New York (2009)","DOI":"10.1145\/1577190.1577206"},{"key":"101_CR10","unstructured":"M\u00fcller, T.N., Moiske, B.: Solving initial value problems in polynomial time. In: Proc. 22 JAIIO - PANEL 1993, Part 2, pp. 283\u2013293 (1993)"},{"key":"101_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-45335-0_14","volume-title":"Computability and Complexity in Analysis","author":"N.T.. M\u00fcller","year":"2001","unstructured":"M\u00fcller, N.T.: The iRRAM: Exact arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol.\u00a02064, pp. 222\u2013252. Springer, Heidelberg (2001)"},{"key":"101_CR12","doi-asserted-by":"crossref","unstructured":"Tucker, W.: A rigorous ODE solver and Smale\u2019s 14th problem. In: Foundations of Computational Mathematics, pp. 53\u2013117 (2002)","DOI":"10.1007\/s002080010018"},{"issue":"5","key":"101_CR13","first-page":"253","volume":"III IV","author":"M. Warmus","year":"1956","unstructured":"Warmus, M.: Calculus of approximations. Bull. Acad. Polon. Sci. Cl.\u00a0III IV(5), 253\u2013259 (1956)","journal-title":"Bull. Acad. Polon. Sci. Cl."}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T16:34:51Z","timestamp":1598114091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}