{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:07Z","timestamp":1725558907651},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144028"},{"type":"electronic","value":"9783642144035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14403-5_43","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T13:01:33Z","timestamp":1278507693000},"page":"408-417","source":"Crossref","is-referenced-by-count":2,"title":["Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems"],"prefix":"10.1007","author":[{"given":"Ekaterina","family":"Auer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rauh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Rauh, A., Auer, E., Hofer, E.P., Luther, W. (eds.): Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, Verified Methods: Applications in Medicine and Engineering, vol.\u00a019(3). University of Zielona G\u00f3ra Press (2009)"},{"issue":"4","key":"43_CR2","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1137\/0709052","volume":"9","author":"T.E. Hull","year":"1972","unstructured":"Hull, T.E., Enright, W.H., Fellen, B.M., Sedgwick, A.E.: Comparing Numerical Methods for Ordinary Differential Equations. SIAM Journal on Numerical Analysis\u00a09(4), 603\u2013637 (1972)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"43_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/BF01932994","volume":"15","author":"W.H. Enright","year":"1975","unstructured":"Enright, W.H., Hull, T.E., Lindberg, B.: Comparing Numerical Methods for Stiff Systems of O.D.E:s. BIT Numerical Mathematics\u00a015, 10\u201348 (1975)","journal-title":"BIT Numerical Mathematics"},{"key":"43_CR4","unstructured":"Mazzia, F., Iavernaro, F.: Test Set for Initial Value Problem Solvers. Technical Report\u00a040, Department of Mathematics, University of Bari, Italy (2003), http:\/\/pitagora.dm.uniba.it\/~testset\/"},{"issue":"1","key":"43_CR5","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1137\/050638448","volume":"45","author":"M. Neher","year":"2007","unstructured":"Neher, M., Jackson, K., Nedialkov, N.: On Taylor Model Based Integration of ODEs. SIAM Journal on Numerical Analysis\u00a045(1), 236\u2013262 (2007)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"43_CR6","unstructured":"Hall, G., Enright, W., Hull, T., Sedgwick, A.: DETEST: A Program For Comparing Numerical Methods For Ordinary Differential Equations. Technical Report\u00a060, Dept. of Computer Science and Technology, Univ. of Toronto, Toronto (1973)"},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada (1999)","DOI":"10.1007\/978-94-017-1247-7_23"},{"key":"43_CR8","series-title":"Springer Series in Comput. Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-05221-7","volume-title":"Solving Ordinary Differential Equations II. Stiff and Differential-Algebraic Problems","author":"E. Hairer","year":"1996","unstructured":"Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II. Stiff and Differential-Algebraic Problems, 2nd revised edn. Springer Series in Comput. Mathematics, vol.\u00a014. Springer, Heidelberg (1996)","edition":"2"},{"issue":"3","key":"43_CR9","doi-asserted-by":"publisher","first-page":"485","DOI":"10.2478\/v10006-009-0039-x","volume":"19","author":"M. Freihold","year":"2009","unstructured":"Freihold, M., Hofer, E.P.: Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems. Special Issue of the Intl.\u00a0Journal of Applied Mathematics and Computer Science AMCS\u00a019(3), 485\u2013499 (2009)","journal-title":"Special Issue of the Intl.\u00a0Journal of Applied Mathematics and Computer Science AMCS"},{"issue":"10","key":"43_CR10","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1109\/TAC.2003.817920","volume":"48","author":"D. Angeli","year":"2003","unstructured":"Angeli, D., Sontag, E.: Monotone Control Systems. IEEE Transactions on Automatic Control\u00a048(10), 1684\u20131698 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"43_CR11","unstructured":"Reinke, I.: Teilautomatische Aufbereitung von formalen Mehrk\u00f6rpermodellen zur numerischen Verifikation. Master\u2019s thesis, University of Duisburg-Essen (2008)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14403-5_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:52:19Z","timestamp":1606186339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14403-5_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144028","9783642144035"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14403-5_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}