{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T16:38:32Z","timestamp":1720456712618},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,11,29]],"date-time":"2011-11-29T00:00:00Z","timestamp":1322524800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0178-4","type":"journal-article","created":{"date-parts":[[2011,11,28]],"date-time":"2011-11-28T03:21:52Z","timestamp":1322450512000},"page":"163-172","source":"Crossref","is-referenced-by-count":5,"title":["VERICOMP: a system to compare and assess verified IVP solvers"],"prefix":"10.1007","volume":"94","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","published-online":{"date-parts":[[2011,11,29]]},"reference":[{"key":"178_CR1","doi-asserted-by":"crossref","unstructured":"Auer E, Rauh A (2010) Toward definition of systematic criteria for the comparison of verified solvers for initial value problems. In: Proceedings of the 8th international conference on parallel processing and applied mathematics PPAM 2009, LNSC 6067, vol 2. Wroclaw, pp 408\u2013417","DOI":"10.1007\/978-3-642-14403-5_43"},{"key":"178_CR2","unstructured":"Eble I RiOT. http:\/\/iamlasun8.mathematik.uni-karlsruhe.de\/~ae08\/"},{"issue":"1","key":"178_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/23002.27645","volume":"13","author":"W Enright","year":"1987","unstructured":"Enright W, Pryce J (1987) Two FORTRAN Packages For Assessing Initial Value Methods. ACM Trans Math Softw (TOMS) 13(1): 1\u201327","journal-title":"ACM Trans Math Softw (TOMS)"},{"key":"178_CR4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BF01932994","volume":"15","author":"WH Enright","year":"1975","unstructured":"Enright WH, Hull TE, Lindberg B (1975) Comparing numerical methods for stiff systems of ODEs. BIT Numer Math 15: 10\u201348","journal-title":"BIT Numer Math"},{"key":"178_CR5","unstructured":"Hall G, Enright W, Hull T, Sedgwick A (1973) DETEST: a program for comparing numerical methods for ordinary differential equations. Technical Report 60, Department of Computer Science and Technology, University of Toronto, Toronto"},{"issue":"4","key":"178_CR6","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1137\/0709052","volume":"9","author":"TE Hull","year":"1972","unstructured":"Hull TE, Enright WH, Fellen BM, Sedgwick AE (1972) Comparing numerical methods for ordinary differential equations. SIAM J Numer Anal 9(4): 603\u2013637","journal-title":"SIAM J Numer Anal"},{"key":"178_CR7","doi-asserted-by":"crossref","unstructured":"Klahold A (2009) Empfehlungssysteme: Grundlagen, Konzepte und L\u00f6sungen. Vieweg+Teubner (in German)","DOI":"10.1007\/978-3-8348-9558-5"},{"key":"178_CR8","unstructured":"Lin Y, Stadtherr MA (2006) Validated solution of initial value problems for ODEs with interval parameters. In: NSF workshop proceedings on reliable engineering computing, Savannah"},{"key":"178_CR9","unstructured":"Makino K (1998) Rigorous analysis of nonlinear motion in particle accelerators. Ph.D. thesis, Michigan State University"},{"key":"178_CR10","unstructured":"Manouselis N, Costopoulou C (2008) Personalization techniques and recommender systems. In: Experimental analysis of multiattribute utility collaborative filtering on a syntetic data set. World Scientific Publishing Company, pp 111\u2013133"},{"key":"178_CR11","unstructured":"Mazzia F, Iavernaro F (2003) Test set for initial value problem solvers. Technical Report 40, Department of Mathematics, University of Bari. http:\/\/pitagora.dm.uniba.it\/~testset\/"},{"key":"178_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-15956-5_1","volume-title":"Modeling, design, and simulation of systems with uncertainties. Mathematical Engineering","author":"NS Nedialkov","year":"2011","unstructured":"Nedialkov NS (2011) Implementing a rigorous ODE solver through literate programming. In: Rauh A, Auer E (eds) Modeling, design, and simulation of systems with uncertainties. Mathematical Engineering. Springer, Berlin, pp 3\u201319"},{"issue":"1","key":"178_CR13","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 (2007) On Taylor model based integration of ODEs. SIAM J Numer Anal 45(1): 236\u2013262","journal-title":"SIAM J Numer Anal"},{"key":"178_CR14","unstructured":"Nowak U, Gebauer S, P\u00f6hle U, Weimann L (2010) ODELab\u2014towards an interactive WWW laboratory for numerical ODE software. http:\/\/num-lab.zib.de\/public\/odelab\/doc\/a2.ps"},{"key":"178_CR15","volume-title":"Modeling, design, and simulation of systems with uncertainties. Mathematical Engineering","year":"2011","unstructured":"Rauh, A, Auer, E (eds) (2011) Modeling, design, and simulation of systems with uncertainties. Mathematical Engineering. Springer, Berlin"},{"key":"178_CR16","doi-asserted-by":"crossref","unstructured":"Rauh A, Auer E, Aschemann H (2010) Development of a quality measure for the characterization of guaranteed solution sets to ODEs in Engineering. In: Proceedings of the 8th IFAC symposium on nonlinear control systems, Bologna","DOI":"10.3182\/20100901-3-IT-2016.00162"},{"key":"178_CR17","volume-title":"Special issue of the International Journal of Applied Mathematics and Computer Science AMCS, verified methods: applications in medicine and engineering, vol 19(3)","year":"2009","unstructured":"Rauh, A, Auer, E, Hofer, EP, Luther, W (eds) (2009) Special issue of the International Journal of Applied Mathematics and Computer Science AMCS, verified methods: applications in medicine and engineering, vol 19(3). University of Zielona Gora Press, Zielona Gora"},{"issue":"3","key":"178_CR18","doi-asserted-by":"crossref","first-page":"485","DOI":"10.2478\/v10006-009-0039-x","volume":"19","author":"A Rauh","year":"2009","unstructured":"Rauh A, Brill M, G\u00fcnter C (2009) A novel interval arithmetic approach for solving differential-algebraic equations with ValEncIA-IVP. Spec Issue Int J Appl Math Comput Sci AMCS 19(3): 485\u2013499","journal-title":"Spec Issue Int J Appl Math Comput Sci AMCS"},{"key":"178_CR19","doi-asserted-by":"crossref","unstructured":"Rauh A, Hofer E, Auer E (2006) ValEncIA-IVP: a comparison with other initial value problem solvers. In: Proceedings of the 12th GAMM-IMACS international symposium on scientific computing, computer arithmetic and validated numerics. IEEE Computer Society","DOI":"10.1109\/SCAN.2006.47"},{"issue":"5","key":"178_CR20","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1142\/S0217751X09044437","volume":"24","author":"P Snopok","year":"2009","unstructured":"Snopok P, Berz M, Johnstone C (2009) Calculation of nonlinear tune shift using beam position measurement results. Int J Modern Phys A 24(5): 974\u2013986","journal-title":"Int J Modern Phys A"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0178-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0178-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0178-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T22:55:04Z","timestamp":1560984904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0178-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,29]]},"references-count":20,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["178"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0178-4","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,29]]}}}