{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:39:28Z","timestamp":1725565168150},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155819"},{"type":"electronic","value":"9783642155826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15582-6_56","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T09:15:44Z","timestamp":1284110144000},"page":"354-365","source":"Crossref","is-referenced-by-count":1,"title":["Communicating Functional Expressions from Mathematica to C-XSC"],"prefix":"10.1007","author":[{"given":"Evgenija D.","family":"Popova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","unstructured":"Aho, A., Lam, M., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson\/Addison Wesley (2007)"},{"key":"56_CR2","doi-asserted-by":"crossref","unstructured":"Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.): Numerical Software with Result Verification. LNCS, vol.\u00a02991. Springer, Heidelberg (2004)","DOI":"10.1007\/b96498"},{"key":"56_CR3","doi-asserted-by":"crossref","unstructured":"Corliss, G.F., Yu, J.: Interval Testing Strategies Applied to COSY\u2019s Interval and Taylor Model Arithmetic. In: [2], pp. 91\u2013106","DOI":"10.1007\/978-3-540-24738-8_5"},{"key":"56_CR4","first-page":"1","volume-title":"Perspectives on Enclosure Methods","author":"A. Frommer","year":"2001","unstructured":"Frommer, A.: Proving conjectures by use of interval arithmetic. In: Kulisch, U., et al. (eds.) Perspectives on Enclosure Methods, pp. 1\u201313. Springer, Wien (2001)"},{"key":"56_CR5","volume-title":"A MathLink Tutorial","author":"T. Gayley","year":"2002","unstructured":"Gayley, T.: A MathLink Tutorial. Wolfram Research, Champaign (2002)"},{"key":"56_CR6","volume-title":"Global Optimization Using Interval Analysis","author":"E. Hansen","year":"1992","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992)"},{"key":"56_CR7","volume-title":"C++ Toolbox for Verified Computing: Basic Numerical Problems","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer, Heidelberg (1995)"},{"key":"56_CR8","doi-asserted-by":"crossref","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.0: A C++ Library for Extended Scientific Computing. In: [2], pp. 15\u201335","DOI":"10.1007\/978-3-540-24738-8_2"},{"key":"56_CR9","volume-title":"C-XSC, A C++ Class Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC, A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)"},{"key":"56_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-01591-5_7","volume-title":"Numerical Validation in Current Hardware Architectures","author":"E. Popova","year":"2009","unstructured":"Popova, E.: Mathematica Connectivity to Interval Libraries filib++ and C-XSC. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation in Current Hardware Architectures. LNCS, vol.\u00a05492, pp. 117\u2013132. Springer, Heidelberg (2009)"},{"key":"56_CR11","unstructured":"Popova, E., Kr\u00e4mer, W., Russev, M.: Integration of C-XSC Automatic Differentiation in Mathematica, Preprint 3\/2010, IMI-BAS, Sofia (March 2010), http:\/\/www.math.bas.bg\/~epopova\/papers\/10-preprintAD.pdf"},{"key":"56_CR12","unstructured":"Wolfram Research Inc.: Mathematica, Version 5.2, Champaign, IL (2005)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15582-6_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:21Z","timestamp":1606187421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15582-6_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155819","9783642155826"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15582-6_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}