{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:32:37Z","timestamp":1648740757135},"reference-count":23,"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-0176-6","type":"journal-article","created":{"date-parts":[[2011,11,28]],"date-time":"2011-11-28T03:21:16Z","timestamp":1322450476000},"page":"215-228","source":"Crossref","is-referenced-by-count":2,"title":["Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard"],"prefix":"10.1007","volume":"94","author":[{"given":"Marco","family":"Nehmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,29]]},"reference":[{"key":"176_CR1","volume-title":"Modern C++ design: generic programming and design patterns applied","author":"A Alexandrescu","year":"2001","unstructured":"Alexandrescu A (2001) Modern C++ design: generic programming and design patterns applied. Addison-Wesley Longman Publishing Co. Inc., Boston"},{"key":"176_CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s007910000048","volume":"3","author":"P Aubert","year":"2001","unstructured":"Aubert P, Di C\u00e9sar\u00e9 N, Pironneau O (2001) Automatic differentiation in C++ using expression templates and application to a flow control problem. Comput Vis. Sci. 3: 197\u2013208","journal-title":"Comput Vis. Sci."},{"key":"176_CR3","unstructured":"Becker P (2011) Working Draft, Standard for Programming Language C++. Tech. Rep. N3242=11-0012, ISO\/IEC JTC1\/SC22\/WG21"},{"key":"176_CR4","volume-title":"FADBAD, a flexible C++ package for automatic differentiation. Technical Report IMM\u2013REP\u20131996\u201317, Department of Mathematical Modelling","author":"C Bendtsen","year":"1996","unstructured":"Bendtsen C, Stauning O (1996) FADBAD, a flexible C++ package for automatic differentiation. Technical Report IMM\u2013REP\u20131996\u201317, Department of Mathematical Modelling. Technical University of Denmark, Lyngby, Denmark"},{"key":"176_CR5","unstructured":"Bischof CH, B\u00fccker HM (2000) Computing derivatives of computer programs. In: Grotendorst J (ed) Modern methods and algorithms of quantum chemistry: proceedings, 2nd edn. NIC Series, vol 3, pp 315\u2013327. NIC-Directors, J\u00fclich"},{"issue":"12","key":"176_CR6","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1002\/(SICI)1097-024X(199712)27:12<1427::AID-SPE138>3.0.CO;2-Q","volume":"27","author":"CH Bischof","year":"1997","unstructured":"Bischof CH, Roh L, Mauer A (1997) ADIC\u2014An extensible automatic differentiation tool for ANSI-C. Softw Pract Exp 27(12): 1427\u20131456","journal-title":"Softw Pract Exp"},{"key":"176_CR7","unstructured":"Boost Interval Arithmetic Library (2011). http:\/\/www.boost.org\/doc\/libs\/1_46_1\/libs\/numeric\/interval\/doc\/interval.htm"},{"key":"176_CR8","volume-title":"Operator Overloading as an Enabling Technology for Automatic Differentiation. Tech. Rep. CRPC-TR93431, Center for Research on Parallel Computation","author":"GF Corliss","year":"1993","unstructured":"Corliss GF, Griewank A (1993) Operator Overloading as an Enabling Technology for Automatic Differentiation. Tech. Rep. CRPC-TR93431, Center for Research on Parallel Computation. Rice University, Houston"},{"key":"176_CR9","unstructured":"CRlibm-Correctly Rounded mathematical library (2011). http:\/\/lipforge.ens-lyon.fr\/www\/crlibm\/"},{"key":"176_CR10","unstructured":"Daramy-Loirat C, Defour D, de Dinechin F, Gallet M, Gast N, Quirin Lauter C, Muller JM (2009) CR-LIBM A library of correctly rounded elementary functions in double-precision. http:\/\/lipforge.ens-lyon.fr\/frs\/download.php\/153\/crlibm-1.0beta3.pdf"},{"key":"176_CR11","unstructured":"Gil J, Gutterman Z (1998) Compile time symbolic derivation with C++ templates. In: Proceedings of the 4th conference on USENIX conference on object-oriented technologies and systems, vol 4, COOTS\u201998, pp 18\u201318. USENIX Association, Berkeley"},{"key":"176_CR12","unstructured":"Gregor D, J\u00e4rvi J, Powell G (2006) Variadic templates (revision 3). Tech. Rep. N2080=06-0150, ISO\/IEC JTC1\/SC22\/WG21"},{"issue":"2","key":"176_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/229473.229474","volume":"22","author":"A Griewank","year":"1996","unstructured":"Griewank A, Juedes D, Utke J (1996) Algorithm 755: ADOL-C: a package for the automatic differentiation of algorithms written in C\/C++. ACM Trans Math Softw 22(2): 131\u2013167","journal-title":"ACM Trans Math Softw"},{"key":"176_CR14","volume-title":"C++ Toolbox for Verified Computing I: Basic Numerical Problems","author":"R Hammer","year":"1997","unstructured":"Hammer R, Ratz D, Kulisch U, Hocks M (1997) C++ Toolbox for Verified Computing I: Basic Numerical Problems. Springer-Verlag New York Inc., Secaucus"},{"key":"176_CR15","unstructured":"Hasco\u00ebt L, Pascual V (2004) TAPENADE 2.1 user\u2019s guide. Rapport technique 300, INRIA, Sophia Antipolis"},{"key":"176_CR16","unstructured":"J\u00e4rvi J, Stroustrup B, Reis GD (2004) Decltype and auto (revision 4). Tech. Rep. N1705=04-0145, ISO\/IEC JTC1\/SC22\/WG21"},{"key":"176_CR17","doi-asserted-by":"crossref","unstructured":"Lambov B (2008) Interval arithmetic using SSE-2. Lecture Notes in Computer Science, vol 5045, pp 102\u2013113","DOI":"10.1007\/978-3-540-85521-7_6"},{"issue":"2","key":"176_CR18","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/1141885.1141893","volume":"32","author":"M Lerch","year":"2006","unstructured":"Lerch M, Tischler G, Wolff von Gudenberg J, Hofschuster W, Kr\u00e4mer W (2006) Filib++, a fast interval library supporting containment computations. ACM Trans Math Softw 32(2): 299\u2013324","journal-title":"ACM Trans Math Softw"},{"key":"176_CR19","unstructured":"Myers N (1995) A new and useful template technique: traits. C++ Report 7(5):32\u201335. Reprinted in Lippman SB (ed) 1996 C++ Gems. SIGS publications, Inc., New York, NY, USA"},{"issue":"4","key":"176_CR20","first-page":"312","volume":"15","author":"M Nehmeier","year":"2011","unstructured":"Nehmeier M, Wolff von Gudenberg J (2011) filib++, Expression Templates and the Coming Interval Standard. Reliab Comput 15(4): 312\u2013320","journal-title":"Reliab Comput"},{"key":"176_CR21","doi-asserted-by":"crossref","unstructured":"Rall LB (1981) Automatic differentiation: techniques and applications. Lecture Notes in Computer Science, vol 120. Springer, Berlin","DOI":"10.1007\/3-540-10861-0"},{"key":"176_CR22","unstructured":"Veldhuizen T (1995) Expression templates. C++ Report 7(5):26\u201331. Reprinted in Lippman SB (ed) 1996 C++ Gems. SIGS publications, Inc., New York, NY, USA"},{"key":"176_CR23","unstructured":"Veldhuizen T (1995) Using C++ template metaprograms. C++ Report 7(4):36\u201343. Reprinted in Lippman SB (ed) 1996 C++ Gems. SIGS publications, Inc., New York, NY, USA"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0176-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0176-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0176-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T22:54:51Z","timestamp":1560984891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0176-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,29]]},"references-count":23,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["176"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0176-6","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]]}}}