{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:36Z","timestamp":1725574356719},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212607"},{"type":"electronic","value":"9783540247388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_1","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T08:22:23Z","timestamp":1294388543000},"page":"1-14","source":"Crossref","is-referenced-by-count":1,"title":["OOP and Interval Arithmetic \u2013 Language Support and Libraries"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen Wolff","family":"von Gudenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Artigas, P.V., et al.: High Performance Numerical Computing in Java: Language and Compiler Issues. In: Proceedings of the 12\u2019th Workshop on Language and Compilers for Parallel Computers, San Diego, CA, August 4-6 (1999)"},{"key":"1_CR2","unstructured":"Bliek, C., et al.: Algorithms for Solving Nonlinear Constrained and Optimization Problems: The State of the Art, \n                    \n                      http:\/\/solon.cma.univie.ac.at\/~neum\/glopt\/coconut\/StArt.html"},{"key":"1_CR3","volume-title":"C++ Toolbox for Verified Computing","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., et al.: C++ Toolbox for Verified Computing. Springer, Berlin (1995)"},{"key":"1_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"1_CR5","volume-title":"PASCAL\u2013 XSC \u2014 Language Reference with Examples","author":"R. Klatte","year":"1992","unstructured":"Klatte, R., et al.: PASCAL\u2013 XSC \u2014 Language Reference with Examples. Springer, Heidelberg (1992)"},{"key":"1_CR6","unstructured":"Lerch, M., Wolff v. Gudenberg, J.: Expression Templates for Dot Product Expressions. In: Proceedings of Interval 1998, Reliable Computing, vol.\u00a05(1), pp. 69\u201380 (1999)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0024-3795(00)00195-6","volume":"324","author":"S.M. Rump","year":"2001","unstructured":"Rump, S.M.: Self-validating methods. Linear Algebra and its Applications (LAA)\u00a0324, 3\u201313 (2001)","journal-title":"Linear Algebra and its Applications (LAA)"},{"key":"1_CR8","unstructured":"Walster, G.W., et al.: Practical Exception-free Interval Arithmetic on the Extended Reals. Sun Microsystems, white paper (August 2001)"},{"key":"1_CR9","unstructured":"Walster, G.W., et al.: Extended Real Intervals and the Topological Closure of Extended Real Relations. Sun Microsystems, white paper (March 2002), \n                    \n                      http:\/\/wwws.sun.com\/software\/sundev\/whitepapers\/index.html"},{"key":"1_CR10","unstructured":"Veldhuizen, T.: Expression Templates. C++ Report\u00a07(5) (1995)"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T10:07:37Z","timestamp":1547892457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}