{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T02:12:33Z","timestamp":1781921553270,"version":"3.54.5"},"reference-count":76,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Spanish Research projects","award":["MTM2009-10767AYA2008-05572"],"award-info":[{"award-number":["MTM2009-10767AYA2008-05572"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2012,11]]},"abstract":"<jats:p>\n            This article introduces the software package TIDES and revisits the use of the Taylor series method for the numerical integration of ODEs. The package TIDES provides an easy-to-use interface for standard double precision integrations, but also for quadruple precision and multiple precision integrations. The motivation for the development of this package is that more and more scientific disciplines need very high precision solution of ODEs, and a standard ODE method is not able to reach these precision levels. The TIDES package combines a preprocessor step in M\n            <jats:sc>athematica<\/jats:sc>\n            that generates Fortran or C programs with a library in C. Another capability of TIDES is the direct solution of sensitivities of the solution of ODE systems, which means that we can compute the solution of variational equations up to any order without formulating them explicitly. Different options of the software are discussed, and finally it is compared with other well-known available methods, as well as with different options of TIDES. From the numerical tests, TIDES is competitive, both in speed and accuracy, with standard methods, but it also provides new capabilities.\n          <\/jats:p>","DOI":"10.1145\/2382585.2382590","type":"journal-article","created":{"date-parts":[[2012,12,5]],"date-time":"2012-12-05T18:55:48Z","timestamp":1354733748000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":74,"title":["Algorithm 924"],"prefix":"10.1145","volume":"39","author":[{"given":"Alberto","family":"Abad","sequence":"first","affiliation":[{"name":"IUMA, Universidad de Zaragoza, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Barrio","sequence":"additional","affiliation":[{"name":"IUMA, Universidad de Zaragoza, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Blesa","sequence":"additional","affiliation":[{"name":"IUMA, Universidad de Zaragoza, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcos","family":"Rodr\u00edguez","sequence":"additional","affiliation":[{"name":"IUMA, Universidad de Zaragoza, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,11]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"Abad A. Barrio R. Blesa F. and Rodr\u00edguez M. 2011. TIDES web page: http:\/\/gme.unizar.es\/software\/tides. Abad A. Barrio R. Blesa F. and Rodr\u00edguez M. 2011. TIDES web page: http:\/\/gme.unizar.es\/software\/tides."},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2373181"},{"key":"e_1_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Ascher U. M. and Petzold L. R. 1998. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. (SIAM) Philadelphia PA. Ascher U. M. and Petzold L. R. 1998. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations . (SIAM) Philadelphia PA.","DOI":"10.1137\/1.9781611971392"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/212066.212075"},{"key":"e_1_2_2_5_1","first-page":"10106","article-title":"A high-precision computation: Mathematical physics and dynamics","volume":"28","author":"Bailey D.","year":"2011","unstructured":"Bailey , D. , Barrio , R. , and Borwein , J. 2011 . A high-precision computation: Mathematical physics and dynamics . Appl. Math. Comput. 28 , 20, 10106 -- 10121 . Bailey, D., Barrio, R., and Borwein, J. 2011. A high-precision computation: Mathematical physics and dynamics. Appl. Math. Comput. 28, 20, 10106--10121.","journal-title":"Appl. Math. Comput."},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2004.02.015"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021812740601646X"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/030601892"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.chaos.2008.02.032"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2005.02.010"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/11\/5\/053004"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2008.07.007"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2007.03.013"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/355900.355902"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/0711010"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/14.3.243"},{"key":"e_1_2_2_17_1","volume-title":"Automatic Differentiation of Algorithms","author":"Berz M.","unstructured":"Berz , M. 1991. Algorithms for higher derivatives in many variables with applications to beam physics . In Automatic Differentiation of Algorithms . SIAM , Philadelphia, PA , 147--156. Berz, M. 1991. Algorithms for higher derivatives in many variables with applications to beam physics. In Automatic Differentiation of Algorithms. SIAM, Philadelphia, PA, 147--156."},{"key":"e_1_2_2_18_1","unstructured":"Binney J. and Tremaine S. 1987. Galactic Dynamics. Princeton University Press. Binney J. and Tremaine S. 1987. Galactic Dynamics . Princeton University Press."},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1086\/105423"},{"key":"e_1_2_2_20_1","unstructured":"Cauchy A. 1839-42. Several articles in Comptes Rendus de l\u2019Acad. des Sciences de Paris. Cauchy A. 1839-42. Several articles in Comptes Rendus de l\u2019Acad. des Sciences de Paris ."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066265"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(94)00193-6"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/25.4.349"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021108323034"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-008-0163-2"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/355993.355995"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(77)80016-2"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/648069.748055"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(77)80016-2"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01594535"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/23002.27645"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-3003(89)90123-9"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1206040.1206041"},{"key":"e_1_2_2_34_1","volume-title":"Institutionum Calculi Integralis","author":"Euler L.","unstructured":"Euler , L. 1768. Institutionum Calculi Integralis . Vol. I , St. Petersburg. In Opera Omnia, Ser. I, Vol. XI. Euler, L. 1768. Institutionum Calculi Integralis. Vol. I, St. Petersburg. In Opera Omnia, Ser. I, Vol. XI."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127401003516"},{"key":"e_1_2_2_37_1","article-title":"\/05a. Long simulations of the solar system: Brouwer\u2019s law and chaos","author":"Grazier K. R.","year":"2004","unstructured":"Grazier , K. R. , Newman , W. I. , Hyman , J. M. , and Sharp , P. W. 2004 \/05a. Long simulations of the solar system: Brouwer\u2019s law and chaos . ANZIAM J. 46, (C), C1086--C1103. Grazier, K. R., Newman, W. I., Hyman, J. M., and Sharp, P. W. 2004\/05a. Long simulations of the solar system: Brouwer\u2019s law and chaos. ANZIAM J. 46, (C), C1086--C1103.","journal-title":"ANZIAM J. 46, (C), C1086--C1103."},{"key":"e_1_2_2_38_1","article-title":"\/05b. Achieving Brouwer\u2019s law with high-order St\u00f6rmer multistep methods","author":"Grazier K. R.","year":"2004","unstructured":"Grazier , K. R. , Newman , W. I. , Hyman , J. M. , Sharp , P. W. , and Goldstein , D. J. 2004 \/05b. Achieving Brouwer\u2019s law with high-order St\u00f6rmer multistep methods . ANZIAM J. 46, C, C786--C804. Grazier, K. R., Newman, W. I., Hyman, J. M., Sharp, P. W., and Goldstein, D. J. 2004\/05b. Achieving Brouwer\u2019s law with high-order St\u00f6rmer multistep methods. ANZIAM J. 46, C, C786--C804.","journal-title":"ANZIAM J. 46, C, C786--C804."},{"key":"e_1_2_2_39_1","volume-title":"Pitman Research Notes Mathematics Series","volume":"344","author":"Griewank A.","year":"1996","unstructured":"Griewank , A. 1996 . ODE solving via automatic differentiation and rational prediction. In Numerical Analysis 1995 . Pitman Research Notes Mathematics Series , vol. 344 , Longman, Harlow, 36--56. Griewank, A. 1996. ODE solving via automatic differentiation and rational prediction. In Numerical Analysis 1995. Pitman Research Notes Mathematics Series, vol. 344, Longman, Harlow, 36--56."},{"key":"e_1_2_2_40_1","volume-title":"Frontiers in Applied Mathematics","author":"Griewank A.","unstructured":"Griewank , A. 2000. Evaluating Derivatives . Frontiers in Applied Mathematics , vol. 19 , SIAM , Philadelphia, PA . Griewank, A. 2000. Evaluating Derivatives. Frontiers in Applied Mathematics, vol. 19, SIAM, Philadelphia, PA."},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-00-01120-0"},{"key":"e_1_2_2_42_1","volume-title":"2nd Ed. Springer Series in Computational Mathematics","volume":"31","author":"Hairer E.","unstructured":"Hairer , E. , Lubich , C. , and Wanner , G . 2006. Geometric Numerical Integration , 2nd Ed. Springer Series in Computational Mathematics , vol. 31 , Springer. Hairer, E., Lubich, C., and Wanner, G. 2006. Geometric Numerical Integration, 2nd Ed. Springer Series in Computational Mathematics, vol. 31, Springer."},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-008-0170-3"},{"key":"e_1_2_2_44_1","volume-title":"2nd Ed. Springer Series in Computational Mathematics","volume":"8","author":"Hairer E.","unstructured":"Hairer , E. , N\u00f8rsett , S. P. , and Wanner , G . 1993. Solving Ordinary Differential Equations. I , 2nd Ed. Springer Series in Computational Mathematics , vol. 8 , Springer. Hairer, E., N\u00f8rsett, S. P., and Wanner, G. 1993. Solving Ordinary Differential Equations. I, 2nd Ed. Springer Series in Computational Mathematics, vol. 8, Springer."},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1086\/109234"},{"key":"e_1_2_2_46_1","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham N. J.","unstructured":"Higham , N. J. 2002. Accuracy and Stability of Numerical Algorithms , 2 nd Ed. SIAM , Philadelphia, PA . Higham, N. J. 2002. Accuracy and Stability of Numerical Algorithms, 2nd Ed. SIAM, Philadelphia, PA.","edition":"2"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089014.1089020"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01400542"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2005.10128904"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/363707.363723"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(99)00087-7"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nima.2005.11.109"},{"key":"e_1_2_2_54_1","volume-title":"Interval Analysis","author":"Moore R. E.","unstructured":"Moore , R. E. 1966. Interval Analysis . Prentice-Hall . Moore, R. E. 1966. Interval Analysis. Prentice-Hall."},{"key":"e_1_2_2_55_1","doi-asserted-by":"crossref","unstructured":"Moore R. E. Kearfott R. B. and Cloud M. J. 2009. Introduction to Interval Analysis. (SIAM) Philadelphia PA. Moore R. E. Kearfott R. B. and Cloud M. J. 2009. Introduction to Interval Analysis . (SIAM) Philadelphia PA.","DOI":"10.1137\/1.9780898717716"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-005-0019-y"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-006-0106-8"},{"key":"e_1_2_2_59_1","first-page":"1","article-title":"Solving differential algebraic equations by Taylor series. III. The DAETS code","volume":"3","author":"Nedialkov N. S.","year":"2008","unstructured":"Nedialkov , N. S. and Pryce , J. D. 2008 . Solving differential algebraic equations by Taylor series. III. The DAETS code . J. Numer. Anal. Ind. Appl. Math. 3 , 1 -- 2 , 61--80. Nedialkov, N. S. and Pryce, J. D. 2008. Solving differential algebraic equations by Taylor series. III. The DAETS code. J. Numer. Anal. Ind. Appl. Math. 3, 1--2, 61--80.","journal-title":"J. Numer. Anal. Ind. Appl. Math."},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/146847.146924"},{"key":"e_1_2_2_61_1","doi-asserted-by":"crossref","unstructured":"Neidinger R. D. 2005. Directions for computing truncated multivariate Taylor series. Math. Comput. 74 249 321--340. Neidinger R. D. 2005. Directions for computing truncated multivariate Taylor series. Math. Comput. 74 249 321--340.","DOI":"10.1090\/S0025-5718-04-01657-6"},{"key":"e_1_2_2_62_1","unstructured":"Newton I. 1671. Methodus Fluxionum et Serierum Infinitarum. edita Londini 1736 Opuscula mathematica Vol.I traduit en francais par M. de Buffon Pasis MDCCXL. Newton I. 1671. Methodus Fluxionum et Serierum Infinitarum . edita Londini 1736 Opuscula mathematica Vol.I traduit en francais par M. de Buffon Pasis MDCCXL."},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019150322187"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021998624799"},{"key":"e_1_2_2_65_1","unstructured":"Pryce J. Nedialkov N. and Enright W. 2009. On the Ilie-Corless polynomial complexity proof. Preprint. Pryce J. Nedialkov N. and Enright W. 2009. On the Ilie-Corless polynomial complexity proof. Preprint ."},{"key":"e_1_2_2_66_1","series-title":"Lecture Notes in Computer Science","volume-title":"Automatic Differentiation-Techniques and Applications","author":"Rall L. B.","unstructured":"Rall , L. B. 1981. Automatic Differentiation-Techniques and Applications . Lecture Notes in Computer Science , vol. 120 , Springer . Rall, L. B. 1981. Automatic Differentiation-Techniques and Applications. Lecture Notes in Computer Science, vol. 120, Springer."},{"key":"e_1_2_2_67_1","unstructured":"Rall L. B. and Corliss G. F. 1996. An introduction to automatic Differentiation. In Computational Differentiation. SIAM Philadelphia PA 1--18. Rall L. B. and Corliss G. F. 1996. An introduction to automatic Differentiation. In Computational Differentiation . SIAM Philadelphia PA 1--18."},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.008"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01227759"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/5960.5964"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1163641.1163642"},{"key":"e_1_2_2_72_1","doi-asserted-by":"crossref","unstructured":"Sim\u00f3 C. 2001. Global dynamics and fast indicators. In Global Analysis of Dynamical Systems. 373--389. Sim\u00f3 C. 2001. Global dynamics and fast indicators. In Global Analysis of Dynamical Systems . 373--389.","DOI":"10.1201\/9781420034288.ch15"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1002\/nme.647"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002080010018"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2003.10.006"},{"key":"e_1_2_2_76_1","volume-title":"The Mathematica\u00ae Book","author":"Wolfram S.","unstructured":"Wolfram , S. 1999. The Mathematica\u00ae Book , 4 th Ed. Wolfram Media, Inc. , Champaign, IL . Wolfram, S. 1999. The Mathematica\u00ae Book, 4th Ed. Wolfram Media, Inc., Champaign, IL.","edition":"4"}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382585.2382590","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2382585.2382590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:38Z","timestamp":1750239278000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382585.2382590"}},"subtitle":["TIDES, a Taylor Series Integrator for Differential EquationS"],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":76,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["10.1145\/2382585.2382590"],"URL":"https:\/\/doi.org\/10.1145\/2382585.2382590","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"value":"0098-3500","type":"print"},{"value":"1557-7295","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]},"assertion":[{"value":"2010-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}