{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T16:47:32Z","timestamp":1787503652408,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540128687","type":"print"},{"value":"9783540387565","type":"electronic"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12868-9_86","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:55:31Z","timestamp":1330174531000},"page":"2-11","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Integration \u2014 What do we want from the theory?"],"prefix":"10.1007","author":[{"given":"J. H.","family":"Davenport","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"2_CR1","series-title":"Springer Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10290-6","volume-title":"On the Integration of Algebraic Functions","author":"J. H. Davenport","year":"1981","unstructured":"Davenport, J.H., On the Integration of Algebraic Functions. Springer Lecture Notes in Computer Science 102, Springer-Verlag, Berlin-Heidelberg-New York, 1981. Zbl. 471.14009."},{"key":"2_CR2","series-title":"Springer Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-11607-9_17","volume-title":"On the Parallel Risch Algorithm (I). Proc. EUROCAM 82","author":"J. H. Davenport","year":"1982","unstructured":"Davenport, J.H., On the Parallel Risch Algorithm (I). Proc. EUROCAM 82 (Springer Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg-New York, 144, 1982) pp. 144\u2013157."},{"key":"2_CR3","unstructured":"Davenport, J.H., Les Equations Diff\u00e9rentielles Ordinaires de Risch sur une Courbe Alg\u00e9brique. To appear (and I.M.A.G. Research Report, April 1983)."},{"key":"2_CR4","unstructured":"Hardy,G.H., The Integration of Functions of a Single Variable (2nd. ed.). Cambridge Tract 2, C.U.P., 1916."},{"key":"2_CR5","first-page":"145","volume":"11","author":"E. Hermite","year":"1872","unstructured":"Hermite, E., Sur l'int\u00e9gration des fractions rationnelles. Nouvelles Annales de Math\u00e9matiques, 2 S\u00e9r., 11(1872) pp. 145\u2013148. Annales Scientifiques de l'Ecole Normale Sup\u00e9rieure, 2 S\u00e9r., 1(1872) pp. 215\u2013218.","journal-title":"Nouvelles Annales de Math\u00e9matiques"},{"key":"2_CR6","first-page":"173","volume-title":"Computing Supplementum 4","author":"R. Loos","year":"1982","unstructured":"Loos, R., Computing in Algebraic Extensions. Computing Supplementum 4 (ed. B. Buchberger et al.), Springer-Verlag, Wien-New York, 1982, pp. 173\u2013187."},{"key":"2_CR7","series-title":"Springer Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/3-540-09519-5_93","volume-title":"An Extension of Liouville's Theorem. Proc. EUROSAM 79","author":"J. Moses","year":"1979","unstructured":"Moses, J. & Zippel, R.E., An Extension of Liouville's Theorem. Proc. EUROSAM 79 (Springer Lecture Notes in Computer Science 72, Springer-Verlag, Berlin-Heidelberg-New York, 1979) pp. 426\u2013430."},{"key":"2_CR8","first-page":"57","volume-title":"Computing Supplementum 4","author":"A. C. Norman","year":"1982","unstructured":"Norman, A.C., Integration in Finite Terms. Computing Supplementum 4 (ed. B. Buchberger et al.), Springer-Verlag, Wien-New York, 1982, pp. 57\u201369."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1090\/S0002-9947-1969-0237477-8","volume":"139","author":"R. H. Risch","year":"1969","unstructured":"Risch, R.H., The Problem of Integration in Finite Terms. Trans. A.M.S. 139(1969) pp. 167\u2013189. MR 38(1969) #5759. Zbl. 184,67.","journal-title":"Trans. A.M.S."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1090\/S0002-9904-1970-12454-5","volume":"76","author":"R. H. Risch","year":"1970","unstructured":"Risch, R.H., The Solution of the Problem of Integration in Finite Terms. Bull. A.M.S. 76(1970) pp. 605\u2013608. MR 42(1971) #4530.","journal-title":"Bull. A.M.S."},{"key":"2_CR11","volume-title":"Aspects of Symbolic Integration and Simplification of Exponential and Primitive Functions","author":"M. Rothstein","year":"1976","unstructured":"Rothstein, M., Aspects of Symbolic Integration and Simplification of Exponential and Primitive Functions. Ph.D. Thesis, University of Wisconsin, Madison, 1976 (Xerox University Microfilms 77-8809)."},{"key":"2_CR12","first-page":"263","volume-title":"Proc. 1977 MACSYMA Users' Conference","author":"M. Rothstein","year":"1977","unstructured":"Rothstein, M., A New Algorithm for the Integration of Exponential and Logarithmic Functions. Proc. 1977 MACSYMA Users' Conference (NASA Publication CP-2012, National Technical Information Service, Springfield, Virginia, 1977) pp.263\u2013274."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1137\/0208028","volume":"8","author":"M. Rothstein","year":"1979","unstructured":"Rothstein, M. & Caviness, B.F., A Structure Theorem for Exponential and Primitive Functions. SIAM J. Comp 8(1979) pp. 357\u2013367. MR 80m:12028.","journal-title":"SIAM J. Comp"},{"key":"2_CR14","first-page":"23","volume-title":"An Extension of Liouville's Theorem on Integration in Finite Terms. Proc. SYMSAC 81","author":"M. F. Singer","year":"1981","unstructured":"Singer, M.F., Saunders, B.D. & Caviness, B.F., An Extension of Liouville's Theorem on Integration in Finite Terms. Proc. SYMSAC 81 (ACM, New York, 1981), pp. 23\u201324. Zbl. 482.12008."},{"key":"2_CR15","first-page":"219","volume-title":"Algebraic Factoring and Rational Function Integration. Proc. SYMSAC 76","author":"B. M. Trager","year":"1976","unstructured":"Trager, B.M., Algebraic Factoring and Rational Function Integration. Proc. SYMSAC 76 (ed. R.D. Jenks), ACM. New York, 1976, pp. 219\u2013226."},{"key":"2_CR16","series-title":"Springer Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-09519-5_91","volume-title":"Integration of Simple Radical Extensions. Proc. EUROSAM 79","author":"B. M. Trager","year":"1979","unstructured":"Trager, B.M., Integration of Simple Radical Extensions. Proc. EUROSAM 79 (Springer Lecture Notes in Computer Science 72, Springer-Verlag, Berlin-Heidelberg-New York, 1979) pp. 408\u2013414. MR 82j:12032."},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0304-3975(79)90017-3","volume":"8","author":"S. Winograd","year":"1979","unstructured":"Winograd, S., On Multiplication in Algebraic Extension Fields. Theor. Comp. Sci. 8(1979) pp. 359\u2013377.","journal-title":"Theor. Comp. Sci."},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1137\/0209021","volume":"9","author":"S. Winograd","year":"1980","unstructured":"Winograd, S., On the Multiplication of Polynomials Modulo a Polynomial. SIAM J. Comp. 9(1980) pp. 225\u2013229. Zbl. 446.68032.","journal-title":"SIAM J. Comp."},{"key":"2_CR19","first-page":"493","volume-title":"Fast Algorithm for Rational Function Integration. Proc. IFIP 77","author":"D. Y. Y. Y. Yun","year":"1977","unstructured":"Yun, D.Y.Y., Fast Algorithm for Rational Function Integration. Proc. IFIP 77 (ed. B. Gilchrist), North-Holland, Amsterdam-New York-Oxford. 1977. pp. 493\u2013498 [IBM Research Report RC 6563 6th. January 1977]."},{"key":"2_CR20","unstructured":"Zejli,H., Private Communication."},{"key":"2_CR21","unstructured":"Zolotarev,E., Sur la m\u00e9thode d'int\u00e9gration de M. Tchebycheff. Math. Annalen Band V S\u00e9r 560. Journal de Math\u00e9matiques 2 S\u00e9r. 19(1874)."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12868-9_86","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:10:55Z","timestamp":1558253455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12868-9_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128687","9783540387565"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-12868-9_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}