{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:13:31Z","timestamp":1774415611921,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540855200","type":"print"},{"value":"9783540855217","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85521-7_1","type":"book-chapter","created":{"date-parts":[[2008,8,5]],"date-time":"2008-08-05T06:45:26Z","timestamp":1217918726000},"page":"1-27","source":"Crossref","is-referenced-by-count":16,"title":["Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP"],"prefix":"10.1007","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"}]},{"given":"Eberhard P.","family":"Hofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Luther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Auer, E., Dyllong, E., Luther, W., Stankovic, D., Traczinski, H.: Integration of Accurate Distance Algorithms into a Modeling Tool for Multibody Systems. In: Proc. of IMACS (2005)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-540-24738-8_8","volume-title":"Numerical Software with Result Verification","author":"E. Auer","year":"2004","unstructured":"Auer, E., Kecskem\u00e9thy, A., T\u00e4ndl, M., Traczinski, H.: Interval Algorithms in Modeling of Multibody Systems. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol.\u00a02991, pp. 132\u2013159. Springer, Heidelberg (2004)"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.cam.2005.08.045","volume":"199","author":"E. Auer","year":"2007","unstructured":"Auer, E.: Interval Modeling of Dynamics for Multibody Systems. Journal of Computational and Applied Mathematics\u00a0199(2), 251\u2013256 (2007)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. Reliable Computing\u00a04, 361\u2013369 (1998)","journal-title":"Reliable Computing"},{"key":"1_CR5","unstructured":"Berz, M., Makino, K.: COSY INFINITY Version 8.1. User\u2019s Guide and Reference Manual. Technical Report MSU HEP 20704, Michigan State University (2002)"},{"key":"1_CR6","unstructured":"Bendsten, C., Stauning, O.: FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods. Technical Report 1996-x5-94, Technical University of Denmark, Lyngby (1996)"},{"key":"1_CR7","unstructured":"Bendsten, C., Stauning, O.: TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series. Technical Report 1997-x5-94, Technical University of Denmark, Lyngby (1997)"},{"issue":"3\u20134","key":"1_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1020573518783","volume":"7","author":"Y. Deville","year":"2002","unstructured":"Deville, Y., Janssen, M., van Hentenryck, P.: Consistency Techniques for Ordinary Differential Equations. Constraint\u00a07(3\u20134), 289\u2013315 (2002)","journal-title":"Constraint"},{"key":"1_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":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, \u00c9.: Applied Interval Analysis. Springer, London (2001)"},{"key":"1_CR11","volume-title":"Fortschrittberichte VDI, Reihe 20 Nr.\u00a088","author":"A. Kecskem\u00e9thy","year":"1993","unstructured":"Kecskem\u00e9thy, A.: Objektorientierte Modellierung der Dynamik von Mehrk\u00f6rpersystemen mit Hilfe von \u00dcbertragungselementen (in German). In: Fortschrittberichte VDI, Reihe 20 Nr.\u00a088, VDI-Verlag, D\u00fcsseldorf (1993)"},{"key":"1_CR12","unstructured":"Kecskem\u00e9thy, A.: MOBILE Version 1.3. User\u2019s Guide (1999)"},{"key":"1_CR13","volume-title":"Nonlinear Systems","author":"H.K. Khalil","year":"2002","unstructured":"Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice-Hall, Englewood Cliffs (2002)","edition":"3"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS\u2014A Fast Interval Library. Computing\u00a053, 277\u2013287 (1994)","journal-title":"Computing"},{"key":"1_CR15","unstructured":"Krasnochtanova, I.: Optimized Interval Algorithms for Simulation and Controller Design for Nonlinear Uncertain Systems Applied to Processes in Biological Wastewater Treatment, Master Thesis, University of Ulm (2005)"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-7091-6282-8_12","volume-title":"Perspectives on Enclosure Methods","author":"R. Lohner","year":"2001","unstructured":"Lohner, R.: On the Ubiquity of the Wrapping Effect in the Computation of the Error Bounds. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, pp. 201\u2013217. Springer, Wien, New York (2001)"},{"key":"1_CR17","unstructured":"Lin, Y., Stadtherr, M.A.: Validated Solution of Initial Value Problems for ODEs with Interval Parameters. In: NSF Workshop Proceeding on Reliable Engineering Computing, Savannah GA, February 22-24 (2006)"},{"key":"1_CR18","unstructured":"Makino, K., Berz, M.: Suppression of the Wrapping Effect by Taylor Model-Based Validated Integrators. Technical Report MSU HEP 40910, Michigan State University (2004)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, University of Toronto (1999)","DOI":"10.1007\/978-94-017-1247-7_23"},{"key":"1_CR20","volume-title":"The Design and Implementation of an Object-Oriented Validated ODE Solver","author":"N.S. Nedialkov","year":"2002","unstructured":"Nedialkov, N.S.: The Design and Implementation of an Object-Oriented Validated ODE Solver. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A. Neumaier","year":"2002","unstructured":"Neumaier, A.: Taylor Forms \u2014 Use and Limits. Reliable Computing\u00a09, 43\u201379 (2002)","journal-title":"Reliable Computing"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.S., Mohrenschildt, M.v.: Rigorous Simulation of Hybrid Dynamic Systems with Symbolic and Interval Methods. In: Proc.\u00a0of American Control Conference ACC, Anchorage, USA, pp. 140\u2013147 (2002)","DOI":"10.1109\/ACC.2002.1024794"},{"key":"1_CR23","volume-title":"CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Auer, E., Hofer, E.P.: ValEncIA-IVP: A Comparison with Other Initial Value Problem Solvers. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, Los Alamitos (2007)"},{"key":"1_CR24","unstructured":"Rauh, A., Auer, E., Hofer, E.P.: A Novel Interval Method for Validating State Enclosures of the Solution of Initial Value Problems, Tachnical Report (2005), available online: http:\/\/vts.uni-ulm.de\/doc.asp?id=6321"},{"key":"1_CR25","unstructured":"Rihm, R.: \u00dcber Einschlie\u00dfungsverfahren f\u00fcr gew\u00f6hnliche Anfangswertprobleme und ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite (in German). PhD thesis, University of Karlsruhe, Germany (1993)"},{"key":"1_CR26","unstructured":"Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Application of Interval Arithmetic Simulation Techniques to Wastewater Treatment Processes. In: Proc.\u00a0of Modelling, Identification, and Control MIC 2004, Grindelwald, Switzerland, pp. 287\u2013293 (2004)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Interval Methods for Simulation of Dynamical Systems with State-Dependent Switching Characteristics. In: Proc.\u00a0of IEEE International Conference on Control Applications CCA 2006, Munich, Germany, pp. 355\u2013360 (2006)","DOI":"10.1109\/CCA.2006.285918"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.cam.2005.07.029","volume":"199","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes. Journal of Computational and Applied Mathematics\u00a0199(2), 207\u2013212 (2007)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.jlap.2004.07.008","volume":"64","author":"N. Revol","year":"2005","unstructured":"Revol, N., Makino, K., Berz, M.: Taylor Models and Floating-Point Arithmetic: Proof that Arithmetic Operations are Validated in COSY. Journal of Logic and Algebraic Programming\u00a064, 135\u2013154 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR30","unstructured":"Rump, S.M.: Interval Computations with INTLAB. Brazilian Electronic Journal on Mathematics of Computation\u00a01 (1999)"},{"key":"1_CR31","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S.M. Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB \u2014 INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR32","unstructured":"IEEE Computer Society. IEEE Standard for Binary Floating-Point Arithmetic. Technical Report IEEE Std.\u00a0754-1985, American National Standards Institute (1985), http:\/\/standards.ieee.org"},{"key":"1_CR33","unstructured":"Traczinski, H.: Integration von Algorithmen und Datentypen zur validierten Mehrk\u00f6rpersimulation in MOBILE (in German). PhD thesis, University of Duisburg-Essen (2006)"},{"key":"1_CR34","volume-title":"C++ Templates. The Complete Guide","author":"D. Vandevoorde","year":"2005","unstructured":"Vandevoorde, D., Josuttis, N.: C++ Templates. The Complete Guide. Addison-Wesley, Reading (2005)"}],"container-title":["Lecture Notes in Computer Science","Reliable Implementation of Real Number Algorithms: Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85521-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:39:04Z","timestamp":1619523544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85521-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540855200","9783540855217"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85521-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}