{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:33:34Z","timestamp":1752460414885},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_13","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T19:46:10Z","timestamp":1195933570000},"page":"162-176","source":"Crossref","is-referenced-by-count":26,"title":["Consistency Techniques in Ordinary Differential Equations"],"prefix":"10.1007","author":[{"given":"Yves","family":"Deville","sequence":"first","affiliation":[]},{"given":"Micha","family":"Janssen","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"13_CR1","volume-title":"Precise Numerical Analysis","author":"O. Aberth","year":"1988","unstructured":"Oliver Aberth. Precise Numerical Analysis. William Brown, Dubuque, Iowa, 1988."},{"volume-title":"Computational Differentiation: Techniques, Applications, and Tools","year":"1996","key":"13_CR2","unstructured":"Martin Berz, Christian Bischof, George Corliss, and Andreas Griewank, editors. Computational Differentiation: Techniques, Applications, and Tools. SIAM, Philadelphia, Penn., 1996."},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/B978-0-12-505630-4.50013-4","volume-title":"Reliability in Computing","author":"G. F. Corliss","year":"1988","unstructured":"George F. Corliss. Applications of differentiation arithmetic. In Ramon E. Moore, editor, Reliability in Computing, pages 127\u2013148. Academic Press, London, 1988."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"G.F. Corliss. Theory of Numerics in Ordinary and Partial Diffential Equations (W.A. Light, M. Machetta (Eds), volume Vol IV, chapter Guaranteed Error Bounds for Ordinary Differential Equations, pages 1\u201375. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198511939.003.0001"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Y. Deville, M. Janssen, and P. Van Hentenryck. Consistency Techniques in Ordinary Differential Equations. Technical Report TR98-06, Universit\u00e9 catholique de Louvain, July 1998.","DOI":"10.1007\/3-540-49481-2_13"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF01932267","volume":"16","author":"D.P. Davey","year":"1976","unstructured":"D.P. Davey and N.F. Stewart. Guaranteed Error Bounds for the Initial Value problem Using Polytope Arithmetic. BIT, 16:257\u2013268, 1976.","journal-title":"BIT"},{"key":"13_CR7","volume-title":"Ordinary Differential Equations","author":"Ph. Hartman","year":"1964","unstructured":"Ph. Hartman. Ordinary Differential Equations. Wiley, New York, 1964."},{"key":"13_CR8","volume-title":"Discrete Variable Methods in Ordinary Differential Equations","author":"P. Henrici","year":"1962","unstructured":"P. Henrici. Discrete Variable Methods in Ordinary Differential Equations. John Wiley & Sons, New York, 1962."},{"key":"13_CR9","unstructured":"Rudolf J. Lohner. Enclosing the solutions of ordinary initial and boundary value problems. In Edgar W. Kaucher, Ulrich W. Kulisch, and Christian Ullrich, editors, Computer Arithmetic: Scientific Computation and Programming Languages, pages 255\u2013286. Wiley-Teubner Series in Computer Science, Stuttgart, 1987."},{"key":"13_CR10","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"R.E. Moore. Methods and Applications of Interval Analysis. SIAM Publ., 1979.","DOI":"10.1137\/1.9781611970906"},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-7091-8577-3_10","volume-title":"Fundamentals of Numerical Computation (Computer Oriented Numerical Analysis)","author":"L. B. Rall","year":"1980","unstructured":"Louis B. Rall. Applications of software for automatic differentiation in numerical computation. In G\u00f6tz Alefeld and R. D. Grigorieff, editors, Fundamentals of Numerical Computation (Computer Oriented Numerical Analysis), Computing Supplement No. 2, pages 141\u2013156. Springer-Verlag, Berlin, 1980."},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic Differentiation: Techniques and Applications","author":"L. B. Rall","year":"1981","unstructured":"Louis B. Rall. Automatic Differentiation: Techniques and Applications, volume 120 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1981."},{"key":"13_CR14","unstructured":"O. Stauning. Enclosing Solutions of Ordinary Differential Equations. Technical Report Tech. Report IMM-REP-1996-18, Technical University Of Denmark, 1996."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/BF01931814","volume":"11","author":"N.F. Stewart","year":"1971","unstructured":"N.F. Stewart. A Heuristic to Reduce the Wrapping Effect in the Numerical Solution of ODE. BIT, 11:328\u2013337, 1971.","journal-title":"BIT"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, M. Laurent, and Y. Deville. Numerica, A Modeling Language for Global Optimization. MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, V. Saraswat, and Y. Deville. The Design, Implementation, and Evaluation of the Constraint Language cc(FD). Journal of Logic Programming (Special Issue on Constraint Logic Programming), 1998 (to appear).","DOI":"10.1016\/S0743-1066(98)10006-7"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T15:18:17Z","timestamp":1708355897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}