{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:34Z","timestamp":1725574354605},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_11","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T08:22:23Z","timestamp":1294388543000},"page":"198-205","source":"Crossref","is-referenced-by-count":1,"title":["Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Beelitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Bischof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus Schulte","family":"Althoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1016\/0009-2509(74)80089-8","volume":"29","author":"A. Uppal","year":"1974","unstructured":"Uppal, A., Ray, W.H., Poore, A.B.: On the dynamic behavior of continuous stirred tank reactors. Chem. Engng Sci.\u00a029, 967\u2013985 (1974)","journal-title":"Chem. Engng Sci."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bischof, C.H., Lang, B., Marquardt, W., M\u00f6nnigmann, M.: Verified determination of singularities in chemical processes. In: Kr\u00e4mer, W., Wolff von Gudenberg, J. (eds.) Scientific Computing, Validated Numerics, Interval Methods, pp. 305\u2013316. Kluwer Academic\/Plenum Publishers (2001)","DOI":"10.1007\/978-1-4757-6484-0_25"},{"key":"11_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5034-0","volume-title":"Singularities and Groups in Bifurcation Theory","author":"M. Golubitsky","year":"1985","unstructured":"Golubitsky, M., Schaeffer, D.G.: Singularities and Groups in Bifurcation Theory, vol.\u00a0I. Springer, New York (1985)"},{"key":"11_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":"11_CR5","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"11_CR6","unstructured":"Schulte Althoff, K.: Algorithmen zum verifizierten L\u00f6sen nichtlinearer Gleichungs-systeme. Diploma thesis, Aachen University, Germany (2002)"},{"key":"11_CR7","volume-title":"Artificial Intelligence Programming","author":"E. Charniak","year":"1987","unstructured":"Charniak, E., Riesback, C., McDermott, D.: Artificial Intelligence Programming, 2nd edn. Lawrence Erlbaum Associates, Hillsdale (1987)","edition":"2"},{"key":"11_CR8","unstructured":"Ratz, D.: Automatic Slope Computation and its Application in Nonsmooth Global Optimization. Shaker Verlag, Aachen (1998)"},{"key":"11_CR9","volume-title":"Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation","author":"A. Griewank","year":"2000","unstructured":"Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia (2000)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF02391702","volume":"2","author":"J.B. Oliveira","year":"1996","unstructured":"Oliveira, J.B.: New slope methods for sharper interval functions and a note on Fischer\u2019s acceleration method. Reliable Computing\u00a02, 299\u2013320 (1996)","journal-title":"Reliable Computing"},{"key":"11_CR11","unstructured":"Beelitz, T.: Methoden zum Einschluss von Funktions- und Ableitungswerten. Diploma thesis, Aachen University, Germany (2002)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1009958918582","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M., Hofst\u00e4tter, G.: Computation and application of Taylor polynomials with interval remainder bounds. Reliable Computing\u00a04, 83\u201397 (1998)","journal-title":"Reliable Computing"},{"key":"11_CR13","unstructured":"Berz, M.: COSY INFINITY version 8.1 programming manual. Technical Report MSUHEP-20703, East Lansing, MI (2002)"},{"key":"11_CR14","unstructured":"Kienitz, A.: Untersuchungen zum Einsatz von Taylormodellen bei der verifizierten L\u00f6sung von Gleichungssystemen. Diploma thesis, Aachen University, Germany (2003)"},{"key":"11_CR15","volume-title":"C-XSC \u2014 A C++ Class Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C-XSC \u2014 A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)"},{"key":"11_CR16","unstructured":"Sun Microsystems: C++ Interval Arithmetic Programming Reference (2002)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D. Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys\u00a023, 5\u201348 (1991)","journal-title":"ACM Computing Surveys"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/328512.328521","volume":"13","author":"A. Morgan","year":"1987","unstructured":"Morgan, A., Shapiro, V.: Box-bisection for solving second-degree systems and the problem of clustering. ACM Trans. Math. Software\u00a013, 152\u2013167 (1987)","journal-title":"ACM Trans. Math. Software"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:33:34Z","timestamp":1559914414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}