{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T05:05:07Z","timestamp":1775019907504,"version":"3.50.1"},"reference-count":11,"publisher":"Pleiades Publishing Ltd","issue":"2","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1134\/s0361768813020059","type":"journal-article","created":{"date-parts":[[2013,3,26]],"date-time":"2013-03-26T04:09:03Z","timestamp":1364270943000},"page":"61-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Indefinite integration as term rewriting: Integrals containing tangent"],"prefix":"10.1134","volume":"39","author":[{"given":"J.","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. D.","family":"Rich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. J.","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2013,3,27]]},"reference":[{"key":"6168_CR1","first-page":"1","volume-title":"Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1\u20134, 1996, Shonan Village Center)","author":"B Buchberger","year":"1996","unstructured":"Buchberger, B., Mathematica as a Rewrite Language, Ida, T., Ohori, A., and Takeichi, M., eds., Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1\u20134, 1996, Shonan Village Center), pp. 1\u201313, Copyright: World Scientific, Singapore\u2014New Jersey\u2014London\u2014Hong Kong, 1996."},{"issue":"5","key":"6168_CR2","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/S0747-7171(10)80011-2","volume":"13","author":"R J Fateman","year":"1992","unstructured":"Richard J. Fateman, A Review of Mathematica, J. Symb. Computation, 1992, vol. 13, no. 5, pp. 545\u2013579.","journal-title":"J. Symb. Computation"},{"key":"6168_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107295599","volume-title":"A Mathematician\u2019s Apology","author":"GH Hardy","year":"2012","unstructured":"Hardy, G.H., A Mathematician\u2019s Apology, Canto, Cambridge University Press, 2012."},{"key":"6168_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/164081.164088","volume-title":"ISSAC\u201993: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation","author":"DJ Jeffrey","year":"1993","unstructured":"Jeffrey, D.J., Integration to Obtain Expressions Valid on Domains of Maximum Extent, Manuel Bronstein, Ed., ISSAC\u201993: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ACM Press, 1993, pp. 34\u201341."},{"key":"6168_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0747-7171(08)80026-0","volume":"9","author":"D Lazard","year":"1990","unstructured":"Daniel Lazard and Renaud Rioboo, Integration of Rational Functions: Rational Computation of the Logarithmic Part, J. Symb. Computation, 1990, vol. 9, pp. 113\u2013115.","journal-title":"J. Symb. Computation"},{"key":"6168_CR6","unstructured":"Rich, A.D., Rule Based Mathematics. Website: www.apmaths.uwo.ca\/~arich."},{"key":"6168_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-02614-0_39","volume-title":"Intelligent Computer Mathematics","author":"AD Rich","year":"2009","unstructured":"Rich, A.D. and Jeffrey, D.J., A Knowledge Repository for Indefinite Integration Based on Transformation Rules, Intelligent Computer Mathematics, vol. 5625 of LNCS, Springer, 2009, pp. 480\u2013485."},{"key":"6168_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1090\/S0002-9947-1969-0237477-8","volume":"139","author":"R H Risch","year":"1969","unstructured":"Robert H. Risch, The Problem of Integration in Finite Terms, Trans. Amer. Math. Soc., 1969, vol. 139, pp. 167\u2013189.","journal-title":"Trans. Amer. Math. Soc."},{"key":"6168_CR9","first-page":"263","volume-title":"Proceedings of the 1977 MACSYMA Users Conference","author":"M Rothstein","year":"1977","unstructured":"Michael Rothstein, A New Algorithm for the Integration of Exponential and Logarithmic Functions, Proceedings of the 1977 MACSYMA Users Conference, 1977, pp. 263\u2013274."},{"key":"6168_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/800205.806338","volume-title":"Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation SYMSAC\u201976","author":"B M Trager","year":"1976","unstructured":"Barry M. Trager, Algebraic Factoring and Rational Function Integration, Jenks, R.D., Ed., Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation SYMSAC\u201976, ACM Press, 1976, pp. 219\u2013226."},{"key":"6168_CR11","volume-title":"Recurrence Relations for Integrals Containing Tangent","author":"D M Welz","year":"2011","unstructured":"Detmar Martin Welz, Recurrence Relations for Integrals Containing Tangent, Personal Communication, 2011."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813020059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768813020059","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813020059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813020059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:08:39Z","timestamp":1775012919000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768813020059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["6168"],"URL":"https:\/\/doi.org\/10.1134\/s0361768813020059","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"13 July 2012","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2013","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}