{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:35:05Z","timestamp":1725755705005},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642859854"},{"type":"electronic","value":"9783642859830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-85983-0_6","type":"book-chapter","created":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T02:56:12Z","timestamp":1383879372000},"page":"140-152","source":"Crossref","is-referenced-by-count":0,"title":["Interval Computations as Propagation of Constraints"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Matiyasevich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(83)90110-X","volume":"22","author":"W Baur","year":"1983","unstructured":"Baur W., Strassen V. (1983) The complexity of partial derivatives. Theor. Computer Sci. 22, 317\u2013330","journal-title":"Theor. Computer Sci"},{"key":"6_CR2","first-page":"7","volume-title":"A generalized interval arithmetic. Lecture Notes Computer Sci. 29","author":"E Hansen","year":"1975","unstructured":"Hansen E. (1975) A generalized interval arithmetic. Lecture Notes Computer Sci. 29, 7\u201318, Springer-Verlag, Berlin."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Gaganov A. A. (1985) 0 slozhnosti vychisleniya intervala znachenii polynoma of mnogikh peremennykh. Kibernetika (Kiev) 4, (1985) 6\u20138; translation: Computational complexity of the range of a polynomial in several variables. Cybernetics 21, 418\u2013421","DOI":"10.1007\/BF01070595"},{"key":"6_CR4","first-page":"331","volume-title":"Automatic Differentiation of Algorithms. Theory, Implementation, and Application, 3-16; common Automated Differentiation Bibliography collected by G. F. Corliss","author":"M Iri","year":"1991","unstructured":"Iri M. (1991) History of automatic differentiation and rounding error estimation. In: A. Griewank, G. F. Corliss (eds.) Automatic Differentiation of Algorithms. Theory, Implementation, and Application, 3\u201316; common Automated Differentiation Bibliography collected by G. F. Corliss, 331\u2013353. Philadelphia, SIAM"},{"key":"6_CR5","first-page":"14","volume":"149","author":"AI Kaishev","year":"1989","unstructured":"Kaishev A.I. (1989) Updated scheme for construction of a posteriori interval extensions for elementary functions (in Russian). Voprosy Kibernetiki (Academy of Sciences of the USSR, Moscow) 149, 14\u201318","journal-title":"Moscow)"},{"key":"6_CR6","first-page":"384","volume":"29","author":"KV Kim","year":"1984","unstructured":"Kim K. V., Nesterov Yu. E., Cherkasskii B.V. (1984) Otsenka trudoemkosti vychisleniya gradienta. Doklady AN SSSR 275 (1984) 1306\u20131309; translation: An estimate of the efforts in computing the gradient. Soy. Math. Dokl. 29, 384\u2013387","journal-title":"Soy. Math. Dokl"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/BF01931367","volume":"16","author":"S Linnaimaa","year":"1976","unstructured":"Linnaimaa S. (1976) Taylor expansion of the accumulated rounding error. Bit 16, 146\u2013160","journal-title":"Bit"},{"key":"6_CR8","first-page":"328","volume-title":"A posteriori interval analysis. Lecture Notes Computer Sci. 204","author":"M Yu","year":"1985","unstructured":"Matijasevich. Yu. (1985) A posteriori interval analysis. Lecture Notes Computer Sci. 204, 328\u2013334, Springer-Verlag, Berlin"},{"key":"6_CR9","first-page":"104","volume-title":"Kibernetika i Vychislitelnaya technika","author":"Y Matiyasevich","year":"1986","unstructured":"Matiyasevich Yu. (1986) Vetschestvennye chisla i \u00c9VM. In: V.A.Mel\u2019nikov (ed.) Kibernetika i Vychislitel\u2019naya technika 2, Nauka, Moscow, 104\u2013133"},{"key":"6_CR10","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore R. E. (1966) Interval Analysis. Prentice Hall, Englewood Cliffs"}],"container-title":["NATO ASI Series","Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-85983-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T03:31:15Z","timestamp":1558668675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-85983-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642859854","9783642859830"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-85983-0_6","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}