{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T04:20:50Z","timestamp":1777350050391,"version":"3.51.4"},"reference-count":272,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,7,1]],"date-time":"1990-07-01T00:00:00Z","timestamp":646790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8417,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1990,7]]},"DOI":"10.1016\/s0747-7171(08)80037-5","type":"journal-article","created":{"date-parts":[[2008,5,29]],"date-time":"2008-05-29T10:22:56Z","timestamp":1212056576000},"page":"59-94","source":"Crossref","is-referenced-by-count":32,"title":["Formal solutions of differential equations"],"prefix":"10.1016","volume":"10","author":[{"given":"Michael. F","family":"Singer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(08)80037-5_bib1","article-title":"Sur \u013eeffectivite du lemme du vecteur cyclic","volume":"t. 306","author":"Adjamagbo","year":"1988","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10.1016\/S0747-7171(08)80037-5_bib2","series-title":"The method of differentiating under the integral sign","author":"Almkvist","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib3","series-title":"Proceedings of the 1979 MACSYMA Users Conference","article-title":"Symbolic Laplace transforms of special functions","author":"Avgoustis","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib4","series-title":"Computers and Mathematics","article-title":"Integration in finite terms and simplification with dilogarithms: a progress report","author":"Baddoura","year":"1989"},{"issue":"no. 3","key":"10.1016\/S0747-7171(08)80037-5_bib5","doi-asserted-by":"crossref","DOI":"10.2307\/2374114","article-title":"On second order linear differential equations with algebraic solutions on algebraic curves","volume":"102","author":"Baldassarri","year":"1980","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib6","doi-asserted-by":"crossref","DOI":"10.2307\/2373938","article-title":"On second order linear differential equations with algebraic solutions","volume":"101","author":"Baldassarri","year":"1979","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib7","series-title":"Proceedings of the ACM-SIGSAM 1989 ISSAC","article-title":"On the reduction of linear systems of difference equations","author":"Barkatou","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib8","series-title":"Lie Groups and Lie Algebras with Applications and Computational Methods","author":"Belinfante","year":"1972"},{"key":"10.1016\/S0747-7171(08)80037-5_bib9","series-title":"Stability Theory of Differential Equations","author":"Bellman","year":"1969"},{"key":"10.1016\/S0747-7171(08)80037-5_bib10","series-title":"Second order reducible linear differential equations","author":"Berkovich","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib11","article-title":"Constructions effectives de vecteurs cyclique pour un D-module","author":"Bertrand","year":"1984","journal-title":"Publ. Groupe \u010f\u00e9tude \u010fanalyse ulirametrique"},{"key":"10.1016\/S0747-7171(08)80037-5_bib12","first-page":"127","article-title":"Siegel normality","author":"Beukers","year":"1988","journal-title":"Ann. of Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib13","series-title":"Monodromy of the hypergeometric function nFn\u22121","author":"Beukers","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib14","series-title":"Proceedings of the 1919 MACSYMA Users Conference","article-title":"Lie group theory for symbolic integration of first order ordinary differential equations","author":"Beyer","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib15","series-title":"Theorie der gewoenlichen Differentialgleichungen auf funktionentheoretischen Grundlage dargestellt","author":"Bieberbach","year":"1935"},{"key":"10.1016\/S0747-7171(08)80037-5_bib16","volume":"13","author":"Bluman","year":"1974"},{"key":"10.1016\/S0747-7171(08)80037-5_bib17","series-title":"Proc. 1977 Macsyma Users Conference, NASA Conference Proceedings, CP-2012","article-title":"A program for the solution of integral equations","author":"Bogen","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib18","first-page":"39","article-title":"An extension of Hardy's class of \u201corders of infinity\u201d","author":"Boshernitzan","year":"1981","journal-title":"J. \u010fAnalyse Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib19","first-page":"41","article-title":"New \u201corders of infinity\u201d","author":"Boshernitzan","year":"1982","journal-title":"J. \u010fAnalyse Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib20","first-page":"106","article-title":"\u201cOrders of infinity\u201d generated by difference equation","author":"Boshernitzan","year":"1984","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib21","first-page":"106","article-title":"Discrete \u201corders of infinity\u201d","author":"Boshernitzan","year":"1984","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib22","series-title":"Hardy fields and existence of transexponential functions","author":"Boshernitzan","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib23","series-title":"Second order differential equations over Hardy fields","author":"Boshernitzan","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib24","series-title":"Universal formulae and universal differential equations","author":"Boshernitzan","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib25","series-title":"Elements de Mathematique","author":"Bourbaki","year":"1961"},{"key":"10.1016\/S0747-7171(08)80037-5_bib26","article-title":"The transcendental Risch differential equation in the","author":"Bronstein","year":"1988","journal-title":"J. of Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib27","series-title":"Proc. of the AGM-SIGSAM 1989 ISSAC","article-title":"Simplification of real elementary functions","author":"Bronstein","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib28","article-title":"Integration of elementary functions","volume":"9\/2","author":"Bronstein","year":"1990","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib29","series-title":"Proceeding of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation","article-title":"A fast, reliable algorithm for calculating Pade-Hermite forms","author":"Cabay","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib30","series-title":"Introductory Treastise on Lie's Theory of Finite Continuous Transformation Groups","author":"Campbell","year":"1966"},{"key":"10.1016\/S0747-7171(08)80037-5_bib31","series-title":"Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation","article-title":"How to compute multivariate Pade approximants","author":"Chaffy","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib32","article-title":"A tutorial introduction to MAPLE","volume":"2\/2","author":"Char","year":"1986","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib33","series-title":"Ph.D. thesis","article-title":"Algorithms using Lie transformation groups to solve first order ordinary differential equations algebraically","author":"Char","year":"1980"},{"key":"10.1016\/S0747-7171(08)80037-5_bib34","series-title":"Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation","article-title":"Using Lie transformation groups to find closed form solutions to first order ordinary differential equations","author":"Char","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib35","series-title":"Institute of System Sciences","article-title":"Groebner bases in rings of differential operators","author":"Chen","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib36","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(85)80037-7","article-title":"Integration in finite terms with special functions: the error function","volume":"1","author":"Cherry","year":"1985","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib37","article-title":"Integration in finite terms with special functions: the logarithmic integral","volume":"15\/1","author":"Cherry","year":"1986","journal-title":"SIAM J. of Computing"},{"key":"10.1016\/S0747-7171(08)80037-5_bib38","article-title":"On expansion of algebraic functions in power and puiseux series","author":"Chudnovsky","year":"1985","journal-title":"IBM Research Report RC 11365"},{"key":"10.1016\/S0747-7171(08)80037-5_bib39","article-title":"MACSYMA's inverse laplace transform","volume":"23\/1","author":"Clarkson","year":"1989","journal-title":"SIGSAM Bulletin"},{"key":"10.1016\/S0747-7171(08)80037-5_bib40","series-title":"Theory of Ordinary Differential Equations","author":"Coddington","year":"1955"},{"key":"10.1016\/S0747-7171(08)80037-5_bib41","article-title":"Symbolic solution of finite difference equations","volume":"3\/3","author":"Cohen","year":"1977","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/S0747-7171(08)80037-5_bib42","series-title":"Difference Algebra","author":"Cohn","year":"1966"},{"key":"10.1016\/S0747-7171(08)80037-5_bib43","article-title":"On the integration of algebraic functions","volume":"102","author":"Davenport","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib44","series-title":"Int\u00e9gration Formelle, R.R. no. 375","author":"Davenports","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib45","unstructured":"A Liouville principle for linear differential equations. To appear in Proc. Journ\u00e9es Equations Diff\u00e9rentielles dans les Champs Complex."},{"key":"10.1016\/S0747-7171(08)80037-5_bib46","series-title":"Second RIKEN International Symposium on symbolic and Algebraic Computation by Computers","article-title":"Closed form solutions of ordinary differential equations","author":"Davenport","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib47","article-title":"The Risch differential equation problem","volume":"15\/4","author":"Davenport","year":"1986","journal-title":"SIAM J. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib48","article-title":"Elementary and Liouvillian solutions of linear differential equations","volume":"204","author":"Davenport","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib49","first-page":"2","article-title":"Elementary and Liouvillian solutions of linear differential equations","author":"Davenport","year":"1986","journal-title":"Journal Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib50","series-title":"Computer Algebra","author":"Davenport","year":"1988"},{"key":"10.1016\/S0747-7171(08)80037-5_bib51","article-title":"Approximants de Pade-Hermite","volume":"42","author":"Della Dora","year":"1984","journal-title":"Numer. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib52","article-title":"About a method for computing in algebraic number fields","volume":"204","author":"Della Dora","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib53","article-title":"An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point","volume":"144","author":"Della Dora","year":"1982"},{"key":"10.1016\/S0747-7171(08)80037-5_bib54","series-title":"Proc. 1981 ACM Symposium on Symbolic and Algebraic Computation","article-title":"Formal Solutions of Differential Equations in the Neighborhood of Singular Points","author":"Della Dora","year":"1981"},{"issue":"no. 239","key":"10.1016\/S0747-7171(08)80037-5_bib55","article-title":"Solutions formelles \u010f\u00e9quations diff\u00e9rentielles au voisinages de points singuliers r\u00e9guliers","author":"Della Dora","year":"1981","journal-title":"IMAG R.R."},{"issue":"no. 66","key":"10.1016\/S0747-7171(08)80037-5_bib56","article-title":"Les bases \u010fun algorithm \u010fobtention des solutions formelles \u010fune \u00e9quations diff\u00e9rentielles lin\u00e9aire homogene en un point singulier irr\u00e9gulier","volume":"octobre","author":"Della Dora","year":"1981","journal-title":"IMAG R.R."},{"key":"10.1016\/S0747-7171(08)80037-5_bib57","series-title":"EUROSAM '84","article-title":"Homogeneous linear difference equations (Probenius- Boole method)","author":"Della Dora","year":"1984"},{"key":"10.1016\/S0747-7171(08)80037-5_bib58","series-title":"Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation","article-title":"Formal solutions of linear difference equations: method of Pincherle-Ramis","author":"Della Dora","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib59","article-title":"Solutions formelles \u010fequations aux diff\u00e9rences lin\u00e9aires","author":"Della Dora","year":"1985","journal-title":"R.R. no. 510, IMAG"},{"key":"10.1016\/S0747-7171(08)80037-5_bib60","doi-asserted-by":"crossref","DOI":"10.1007\/BF01579200","article-title":"Power series solutions of algebraic differential equations","volume":"267","author":"Denef","year":"1984","journal-title":"Math. Ann."},{"issue":"no, 1","key":"10.1016\/S0747-7171(08)80037-5_bib61","article-title":"Biconfluence et groupe de galois","volume":"Vol. 18","author":"Duval","year":"1989","journal-title":"Pub. IRMA, Lille"},{"key":"10.1016\/S0747-7171(08)80037-5_bib62","article-title":"A propos de \u013ealgorithm de Kovacic","author":"Duval","year":"1989","journal-title":"Univ. de Paris-Sud, Dept. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib63","article-title":"Matrices de Stokes et groupe de galois des \u00e9quations hyperg\u00e9orn\u00e9triques confluentes generalisees","volume":"135\/2","author":"Duval","year":"1988","journal-title":"Pac. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib64","article-title":"Algorithms for elementary function arithmetic","author":"Epstein","year":"1975","journal-title":"Ph.D. thesis, University of Wisconsin, Madison"},{"key":"10.1016\/S0747-7171(08)80037-5_bib65","volume":"Vol. 1","author":"Erdelyi","year":"1953"},{"key":"10.1016\/S0747-7171(08)80037-5_bib66","series-title":"Proc. 1977 MACSYMA Users Conference, NASA Conference Proceedings, CP-2012","article-title":"Some comments on series solutions","author":"Fateman","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib67","series-title":"Proc. 1981 ACM Symposium on Symbolic and Algebraic Computation","article-title":"The automatic derivation of periodic solutions to a class of weakly non-linear differential equations","author":"Fitch","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib68","series-title":"Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation","article-title":"ALKAHEST III: Automatic Analysis of Periodic Weakly Nonlinear ODEs","author":"Fitch","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib69","article-title":"Computer algebra applications for determining Lie and Lie-Backlund symmetries of differential equations","volume":"7\/6","author":"Fushchich","year":"1989","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib70","article-title":"Some algorithmic question on ideals of differential operators","volume":"204","author":"Galligo","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib71","series-title":"Differential Geometric Control Theory","article-title":"Differential geometric methods interfacing control theory","author":"Gardner","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib72","article-title":"Lectures on the method of equivalence with applications to control theory","author":"Gardner","year":"1989","journal-title":"SIAM-CBMS series"},{"key":"10.1016\/S0747-7171(08)80037-5_bib73","series-title":"Proc. 1977 MACSYMA Users Conference, NASA Conference Proceedings, CP-2012","article-title":"Symbolic Computation of Recurrence Equations for the Chebyshev Series Solutions of Linear ODE\u2019s","author":"Geddes","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib74","article-title":"Convergence behavior of Newton iteration for first order differential equations","volume":"72","author":"Geddes","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib75","series-title":"Computers and Mathematics","article-title":"Recipes for classes of definite integrals involving exponentials and logarithms","author":"Geddes","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib76","series-title":"Proc. of the ACM-SIGSAM 1989 ISSAC","article-title":"On the Risch-Norman method and its implementation in MAPLE","author":"Geddes","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib77","article-title":"Invariants mesurant \u013eirr\u00e9gularit\u00e9 en un point singulier des syst\u00e8mes \u010f\u00e9quations diff\u00e9rentielles lin\u00e9aires","volume":"23\/1","author":"Gerard","year":"1973","journal-title":"Ann. Inst. Fourier, Grenoble"},{"key":"10.1016\/S0747-7171(08)80037-5_bib78","series-title":"Computers and Mathematics","article-title":"Computer algebra in the theory of ordinary differential equations of Halphen type","author":"Gerdt","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib79","article-title":"Operational calculus techniques for solving differential equations","volume":"174","author":"Glinos","year":"1984"},{"key":"10.1016\/S0747-7171(08)80037-5_bib80","series-title":"1977 MACSYMA Users Conference Proceedings","article-title":"MACSYMA's symbolic ordinary differential equation solver","author":"Golden","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib81","article-title":"Integrals of multinomial systems of ordinary differential systems","volume":"45\/3","author":"Goldman","year":"1987","journal-title":"J. of Pure and Applied Alg."},{"key":"10.1016\/S0747-7171(08)80037-5_bib82","article-title":"Integrals of v-graded systems of ordinary differential equations","volume":"46\/1","author":"Goldman","year":"1987","journal-title":"J. of Pure and Applied Alg."},{"key":"10.1016\/S0747-7171(08)80037-5_bib83","series-title":"Proceedings of the 1977 MACSYMA Users Conference, NASA Conference Proceedings, NASA CP-2012","article-title":"Indefinite Hypergeometric Sums in MACSYMA","author":"Gosper","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib84","article-title":"Decision procedure for indefinite hypergeometric summation","volume":"75\/1","author":"Gosper","year":"1978","journal-title":"Proc. Nat. Acad. Sci., USA"},{"key":"10.1016\/S0747-7171(08)80037-5_bib85","series-title":"Linear Differential Equations and Group Theory from Riemann to Poincar\u00e9","author":"Gray","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib86","article-title":"Complexity of quantifier elimination in the theory of differentially closed fields","volume":"358","author":"Grigor'ev","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib87","unstructured":"Grigor'ev, D. Yu. Complexity of factoring and calculating GCD\u2019s of linear ordinary differential operators. To appear in the J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib88","unstructured":"Grigor'ev, D. Yu., Singer, M. P. Solving ordinary differential equations in terms of series with real exponents. To appear in the Trans, of the AMS."},{"key":"10.1016\/S0747-7171(08)80037-5_bib89","series-title":"Proceedings of the ACM-SIGSAM 1989 ISSAC","article-title":"Labeled trees and efficient computation of derivations","author":"Grossman","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib90","series-title":"Orders of Infinity","author":"Hardy","year":"1910"},{"key":"10.1016\/S0747-7171(08)80037-5_bib91","article-title":"Some results concerning the behavior at infinity of a real and continuous solution of an algebraic differential equation of first order","volume":"10","author":"Hardy","year":"1912","journal-title":"Proc. London Math. Soc"},{"key":"10.1016\/S0747-7171(08)80037-5_bib92","series-title":"Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation","article-title":"Summation of binomial coefficients using hypergeometric functions","author":"Hayden","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib93","article-title":"Lineare Differentialgleichungen im komplexen Gebiet","volume":"Vol. II","author":"Hilb","year":"1915"},{"key":"10.1016\/S0747-7171(08)80037-5_bib94","article-title":"Nichtlineare Differentialgleichungen","volume":"Vol. II","author":"Hilb","year":"1915"},{"key":"10.1016\/S0747-7171(08)80037-5_bib95","series-title":"Solutions of differential equations by means of one-parameter groups","author":"Hill","year":"1982"},{"key":"10.1016\/S0747-7171(08)80037-5_bib96","series-title":"Th\u00e8se de 3eme cycle","article-title":"Contribution a \u013e\u00e9tude des points singuliers des syst\u00e8mes diff\u00e9rentielles lin\u00e9aires","author":"Hillali","year":"1982"},{"key":"10.1016\/S0747-7171(08)80037-5_bib97","article-title":"Characterization of a linear differential system with a regular singularity","volume":"162","author":"Hillali","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib98","article-title":"Sur les invariants formelles des \u00e9quations diff\u00e9rentielles ordinaires","author":"Hillali","year":"1986","journal-title":"R.R. no. 577 IMAG"},{"key":"10.1016\/S0747-7171(08)80037-5_bib99","doi-asserted-by":"crossref","DOI":"10.1016\/0022-0396(87)90126-4","article-title":"Calcul des invariants de Malgrange et de Gerard-Levelt \u010fun system diff\u00e9rentiel lin\u00e9aire en un point singulier irr\u00e9gulier","author":"Hillali","year":"1987","journal-title":"J. Diff. Eq."},{"key":"10.1016\/S0747-7171(08)80037-5_bib100","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(87)80011-1","article-title":"On the algebraic and differential Newton-Puiseux polygons","author":"Hillali","year":"1987","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib101","series-title":"Solutions formelles des syst\u00e8mes diff\u00e9rentiels lin\u00e9aires au voisinage \u010fun point singulier irr\u00e9gulier","author":"Hillali","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib102","article-title":"Un algorithm de calcul de \u013einvariant Katz \u010fun system diff\u00e9rentiel lin\u00e9aire","volume":"V. 36","author":"Hillali","year":"1986","journal-title":"Ann. Inst. Fourier"},{"key":"10.1016\/S0747-7171(08)80037-5_bib103","series-title":"Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation","article-title":"Algorithm for computing formal invariants of linear differential systems","author":"Hillali","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib104","article-title":"Formes super-irr\u00e9ductibles des syst\u00e8mes diff\u00e9rentielles lin\u00e9aires","volume":"50","author":"Hillali","year":"1987","journal-title":"Numer. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib105","series-title":"Ordinary Differential Equations in the Complex Domain","author":"Hille","year":"1976"},{"issue":"no. 2","key":"10.1016\/S0747-7171(08)80037-5_bib106","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(89)80052-5","article-title":"Applications of NEWEUL in robot dynamics","volume":"7","author":"Hirschberg","year":"1989","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib107","series-title":"Ph.D. thesis","article-title":"Algorithm for symbolic integration of rational functions","author":"Horowitz","year":"1969"},{"key":"10.1016\/S0747-7171(08)80037-5_bib108","series-title":"Proc. Second Symposium on Symbolic and Algebraic Manipulation","article-title":"Algorithms for partial fraction decomposition and rational function integration","author":"Horowitz","year":"1971"},{"key":"10.1016\/S0747-7171(08)80037-5_bib109","unstructured":"Hsu, L., Kamran, N. Classification of second order ordinary differential equations admitting Lie groups of fiber-preserving symmetries. Proc. London Math. Soc, To appear."},{"key":"10.1016\/S0747-7171(08)80037-5_bib110","series-title":"Ordinary Differential Equations","author":"Ince","year":"1944"},{"key":"10.1016\/S0747-7171(08)80037-5_bib111","series-title":"Proceedings of the 1977 MACSYMA Users Conference, NASA Conference Proceedings, NASA CP-2012","article-title":"Some MACSYMA programs for solving difference equations","author":"Ivie","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib112","article-title":"Equations de Pfaff Alg\u00e9briques","volume":"708","author":"Jouanolou","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib113","article-title":"A note on the Risch differential equation","volume":"174","author":"Kaltofen","year":"1984"},{"key":"10.1016\/S0747-7171(08)80037-5_bib114","series-title":"Differentialgleichungen, Loesungmethoden and Loesungen","author":"Kamke","year":"1971"},{"key":"10.1016\/S0747-7171(08)80037-5_bib115","series-title":"Contributions to the study of the equivalence problem of Elie Cartan and its applications to partial and ordinary differential equations","author":"Kamran","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib116","series-title":"Equivalence of differential operators","author":"Kamran","year":"1988"},{"key":"10.1016\/S0747-7171(08)80037-5_bib117","article-title":"Non-commutative Groebner bases in algebras of solvable type","volume":"9\/1","author":"Kandri-Rody","year":"1990","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib118","series-title":"An Introduction to Differential Algebra","author":"Kaplansky","year":"1957"},{"key":"10.1016\/S0747-7171(08)80037-5_bib119","article-title":"Summation in finite terms","volume":"28\/2","author":"Karr","year":"1981","journal-title":"J. ACM"},{"key":"10.1016\/S0747-7171(08)80037-5_bib120","article-title":"Theory of summation in finite terms","volume":"1\/3","author":"Karr","year":"1985","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib121","article-title":"An overview of Deligne's work on Hilbert's Twenty-First Problem","volume":"Vol. XXVII","author":"Katz","year":"1976"},{"key":"10.1016\/S0747-7171(08)80037-5_bib122","doi-asserted-by":"crossref","DOI":"10.2307\/2374551","article-title":"A simple algorithm for cyclic vectors","volume":"109","author":"Katz","year":"1987","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib123","doi-asserted-by":"crossref","DOI":"10.1007\/BF01389152","article-title":"On the calculation of some differential galois groups","volume":"87","author":"Katz","year":"1987","journal-title":"Invent. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib124","series-title":"Book in preparation concerning differential galois groups","author":"Katz","year":"1989"},{"issue":"no. 1","key":"10.1016\/S0747-7171(08)80037-5_bib125","doi-asserted-by":"crossref","DOI":"10.1215\/S0012-7094-87-05405-6","article-title":"A note on pseudo-CM representations and differential galois groups","volume":"54","author":"Katz","year":"1987","journal-title":"Duke Math. J."},{"key":"10.1016\/S0747-7171(08)80037-5_bib126","article-title":"The computation of infinitesimal symmetries for extended vacuum Maxwell equations, using REDUCE 2","author":"Kersten","year":"1986","journal-title":"Technische Hogeschool Twente, 7500 AE Enschede"},{"key":"10.1016\/S0747-7171(08)80037-5_bib127","series-title":"Ph.D. thesis","article-title":"Symbolic integration in terms of logarithmic integrals and error functions","author":"Knowles","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib128","volume":"v. 2","author":"Knuth","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib129","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(85)80032-8","article-title":"Explicit evaluation of certain definite integrals involving powers of logarithms","volume":"1","author":"Kolbig","year":"1985","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib130","series-title":"Differential Algebra and Algebraic Groups","author":"Kolchin","year":"1973"},{"key":"10.1016\/S0747-7171(08)80037-5_bib131","article-title":"An algorithm for solving second order linear homogeneous differential equations","volume":"2\/1","author":"Kovacic","year":"1986","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib132","series-title":"Proc. 1977 MACSYMA Users Conference, NASA Conference Proceedings, CP-2012","article-title":"Power series solutions of ordinary differential equations in Macsyma","author":"Lafferty","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib133","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-3406-1_5","article-title":"Summation in finite terms","volume":"4","author":"Lafon","year":"1982","journal-title":"Computer Algebra"},{"key":"10.1016\/S0747-7171(08)80037-5_bib134","article-title":"Algebraic computation of the solution of some non-linear differential equations","volume":"144","author":"Lamnabhi-Lagarrigue","year":"1982"},{"key":"10.1016\/S0747-7171(08)80037-5_bib135","article-title":"Algebraic computation of the statistics of the solutions of some nonlinear stochastic differential equations","volume":"162","author":"Lamnabhi-Lagarrigue","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib136","article-title":"Jordan decomposition for a class of singular differential operators","volume":"13","author":"Levelt","year":"1975","journal-title":"Archiv fuer Matematik"},{"key":"10.1016\/S0747-7171(08)80037-5_bib137","first-page":"176","article-title":"Zur Theorie des Integrabilitaetsfaktors","volume":"Dritter Band","author":"Lie","year":"1922"},{"key":"10.1016\/S0747-7171(08)80037-5_bib138","article-title":"Sur la d\u00e9termination des int\u00e9grales dont la valeur est alg\u00e9briques","volume":"14","author":"Liouville","year":"1833","journal-title":"J. de \u013eEcole Poly"},{"key":"10.1016\/S0747-7171(08)80037-5_bib139","article-title":"M\u00e9moire sur \u013eint\u00e9gration \u010fune classe de fonctions transcendentes","volume":"13","author":"Liouville","year":"1835","journal-title":"J. fuer die reine und angewandte math"},{"key":"10.1016\/S0747-7171(08)80037-5_bib140","article-title":"M\u00e9moire sur \u013eint\u00e9gration \u010fune classe \u010f\u00e9quations diff\u00e9rentielles du second ordre en quantit\u00e9s finies explicites","volume":"IV","author":"Liouville","year":"1839","journal-title":"Journal de math\u00e9matiques, pures et appliquees"},{"key":"10.1016\/S0747-7171(08)80037-5_bib141","article-title":"R\u00e9marques nouvelles sur \u013e\u00e9quation de Riccati","volume":"VI","author":"Liouville","year":"1841","journal-title":"Journal de math\u00e9matiques, pures et appliques"},{"key":"10.1016\/S0747-7171(08)80037-5_bib142","doi-asserted-by":"crossref","DOI":"10.1016\/0021-8693(88)90166-4","article-title":"D-finite power series","volume":"113","author":"Lipshitz","year":"1988","journal-title":"J. Alg."},{"key":"10.1016\/S0747-7171(08)80037-5_bib143","article-title":"Calcul des invariants de Birkoff des syst\u00e8mes \u010fordre deux","author":"Loday-Richaud","year":"1988","journal-title":"Funk. Ekv."},{"key":"10.1016\/S0747-7171(08)80037-5_bib144","doi-asserted-by":"crossref","DOI":"10.1093\/imamat\/38.2.129","article-title":"The similarity method for difference equations","volume":"38","author":"Maeda","year":"1987","journal-title":"IMA J. Appl. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib145","first-page":"xx","article-title":"Sur les points singulieres des equations diff\u00e9rentielles lin\u00e9aires","volume":"5","author":"Malgrange","year":"1974","journal-title":"L\u2019Enseignement Math\u00e9matiques"},{"key":"10.1016\/S0747-7171(08)80037-5_bib146","series-title":"Sur la r\u00e9duction formelle des \u00e9quations diff\u00e9rentielles a singularit\u00e9s r\u00e9guliers","author":"Malgrange","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib147","article-title":"A program in REDUCE for finding explicit solutions to certain ordinary differential operators","volume":"144","author":"Malm","year":"1982"},{"key":"10.1016\/S0747-7171(08)80037-5_bib148","series-title":"Group Theory and Differential Equations","author":"Markus","year":"1960"},{"issue":"1","key":"10.1016\/S0747-7171(08)80037-5_bib149","article-title":"Les \u00e9quations diff\u00e9rentielles lin\u00e9aires et la th\u00e9orie des groupes","volume":"12","author":"Marotte","year":"1898","journal-title":"Ann. Fac. Sci. Univ. Toulouse"},{"key":"10.1016\/S0747-7171(08)80037-5_bib150","series-title":"Computer Algebra and Differential Equations","author":"Martinet","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib151","series-title":"Lectures on Algebraic Solutions of Hypergeomeiric Differential Equations","author":"Matsuda","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib152","series-title":"Lie Theory and Special Functions","author":"Miller","year":"1968"},{"key":"10.1016\/S0747-7171(08)80037-5_bib153","series-title":"Symmetry Groups and Separation of Variables","author":"Miller","year":"1972"},{"key":"10.1016\/S0747-7171(08)80037-5_bib154","article-title":"Symmetry and Separation of Variables","volume":"Vol. 4","author":"Miller","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib155","series-title":"Th\u00e8se","article-title":"Groupe de galois diff\u00e9rentiels et G-fonctions","author":"Mitschi","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib156","article-title":"Groupe de galois diff\u00e9rentiels des \u00e9quations hyperg\u00e9om\u00e9triques confluentes g\u00e9n\u00e9ralis\u00e9es","volume":"309","author":"Mitschi","year":"1989","journal-title":"C.R. Acad. Sci. Paris"},{"key":"10.1016\/S0747-7171(08)80037-5_bib157","series-title":"Proceedings of the 1977 MACSYMA Users Conference, NASA Conference Proceedings, NASA CP-2012","article-title":"On computing closed form summations","author":"Moenck","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib158","article-title":"The order of a singularity in Puchs' theory","volume":"72","author":"Moser","year":"1960","journal-title":"Math. Zeitshrift"},{"key":"10.1016\/S0747-7171(08)80037-5_bib159","article-title":"Criterion for global equivalence of linear differential equations","volume":"97A","author":"Neuman","year":"1984","journal-title":"Proc. Royal Soc. Edinburgh"},{"key":"10.1016\/S0747-7171(08)80037-5_bib160","series-title":"Proceedings of EQUADIFF 6","article-title":"Ordinary linear differential equations\u2014a survey of the global theory","author":"Neuman","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib161_1","doi-asserted-by":"crossref","DOI":"10.1145\/355656.355660","article-title":"Computing with formal power series","volume":"1","author":"Norman","year":"1975","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/S0747-7171(08)80037-5_bib161_2","article-title":"Computing with formal power series","volume":"4","author":"Norman","year":"1975","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/S0747-7171(08)80037-5_bib162","article-title":"Integration in finite terms","volume":"4","author":"Norman","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib163","article-title":"Symbolic integration\u2014the dust settles?","volume":"72","author":"Norman","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib164","series-title":"Proc. 4th Int. Colloquium on Advanced Computing Methods in Theoretical Physics","article-title":"Implementing the the Risch integration algorithm","author":"Norman","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib165","series-title":"Asympioiics and Special Functions","author":"Olver","year":"1974"},{"key":"10.1016\/S0747-7171(08)80037-5_bib166","article-title":"Asymptotic approximations and error bounds","volume":"22\/2","author":"Olver","year":"1980","journal-title":"SIAM Review"},{"key":"10.1016\/S0747-7171(08)80037-5_bib167","article-title":"How to find the symmetry group of a differential equation","volume":"762","author":"Olver","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib168","volume":"107","author":"Olver","year":"1986"},{"key":"10.1016\/S0747-7171(08)80037-5_bib169","article-title":"Sur \u013eint\u00e9grabilit\u00e9 \u00e9l\u00e9mentaire de quelques classes \u010fexpressions","volume":"18","author":"Ostrowski","year":"1946","journal-title":"Comm. Math. Helv."},{"key":"10.1016\/S0747-7171(08)80037-5_bib170","series-title":"Group Analysis of Differential Equations","author":"Ovsiannikov","year":"1982"},{"key":"10.1016\/S0747-7171(08)80037-5_bib171_1","first-page":"173","volume":"Vol. I","author":"Painlev\u00e9","year":"1972"},{"key":"10.1016\/S0747-7171(08)80037-5_bib171_2","first-page":"433","volume":"Vol. II","author":"Painlev\u00e9","year":"1972"},{"issue":"No. 2","key":"10.1016\/S0747-7171(08)80037-5_bib172","article-title":"Special function integration","volume":"23","author":"Picquette","year":"1989","journal-title":"SIGSAM Bull."},{"key":"10.1016\/S0747-7171(08)80037-5_bib173","first-page":"32","volume":"Vol. III","author":"Poincar\u00e9","year":"1934"},{"key":"10.1016\/S0747-7171(08)80037-5_bib174","series-title":"Introduction to the Theory of Linear Differential Equations","author":"Poole","year":"1960"},{"key":"10.1016\/S0747-7171(08)80037-5_bib175","article-title":"Elementary first integrals of differential equations","volume":"279\/1","author":"Prelle","year":"1983","journal-title":"Trans. AMS"},{"issue":"no. 59-60","key":"10.1016\/S0747-7171(08)80037-5_bib176","article-title":"D\u00e9vissage Gevrey","author":"Ramis","year":"1978","journal-title":"Asterisque"},{"issue":"No. 296","key":"10.1016\/S0747-7171(08)80037-5_bib177","article-title":"Th\u00e9or\u00e8mes \u010findices Gevrey pour les equations diff\u00e9rentielles ordinaires","volume":"v. 48","author":"Ramis","year":"1984","journal-title":"Mem. Am. Math. Soc."},{"key":"10.1016\/S0747-7171(08)80037-5_bib178","article-title":"Filtration Gevrey sur le groupe de Picard-Vessiot \u010fune \u00e9quation diff\u00e9rentielle irr\u00e9guliere","author":"Ramis","year":"1985","journal-title":"Informes de Matematica, IMPA, Serie A-045\/85"},{"issue":"no. 5","key":"10.1016\/S0747-7171(08)80037-5_bib179","article-title":"Ph\u00e9nomene de Stokes et filtration Gevrey sur le groupe de Picard-Vessiot","volume":"301","author":"Ramis","year":"1985","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10.1016\/S0747-7171(08)80037-5_bib180","series-title":"Proceedings of a conference at","article-title":"Irregular connections, savage \u03c01 and confluence","author":"Ramis","year":"1988"},{"key":"10.1016\/S0747-7171(08)80037-5_bib181","series-title":"Numerical Methods in the Study of Critical Phenomena","article-title":"Some comments about the numerical utilisation of factorial series","author":"Ramis","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib182","volume":"94","author":"Rand","year":"1984"},{"key":"10.1016\/S0747-7171(08)80037-5_bib183","series-title":"Perturbation Method, Bifurcation Theory and Computer Algebra","author":"Rand","year":"1987"},{"issue":"No. 5","key":"10.1016\/S0747-7171(08)80037-5_bib184","doi-asserted-by":"crossref","DOI":"10.1016\/0898-1221(81)90123-1","article-title":"Computer-aided closure of the Lie-algebra associated with a non-linear partial differential equations","volume":"7","author":"Reiman","year":"1981","journal-title":"Computers and Mathematics with Applications"},{"key":"10.1016\/S0747-7171(08)80037-5_bib185","article-title":"On the integration of elementary functions which are built up using algebraic operations","author":"Risch","year":"1968","journal-title":"SDC Corp. Tech. Report SP-2801\/002\/00"},{"key":"10.1016\/S0747-7171(08)80037-5_bib1867","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-1969-0237477-8","article-title":"The problem of integration in finite terms","volume":"139","author":"Risch","year":"1969","journal-title":"Trans. A.M.S."},{"key":"10.1016\/S0747-7171(08)80037-5_bib187","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9904-1970-12454-5","article-title":"The solution of the problem of integration in finite terms","volume":"76","author":"Risch","year":"1970","journal-title":"Bull. A.M.S."},{"key":"10.1016\/S0747-7171(08)80037-5_bib188","article-title":"Implicitly elementary integrals","volume":"57","author":"Risch","year":"1976","journal-title":"Proc. AMS"},{"key":"10.1016\/S0747-7171(08)80037-5_bib189","doi-asserted-by":"crossref","DOI":"10.2307\/2373917","article-title":"Algebraic properties of elementary functions of analysis","volume":"101","author":"Risch","year":"1979","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib190","series-title":"Integration in Finite Terms","author":"Ritt","year":"1948"},{"key":"10.1016\/S0747-7171(08)80037-5_bib191","series-title":"Differential Algebra","author":"Ritt","year":"1950"},{"key":"10.1016\/S0747-7171(08)80037-5_bib192","article-title":"Symbolic manipulation and computational fluid dynamics","volume":"57","author":"Roache","year":"1985","journal-title":"J. Computational Physics"},{"key":"10.1016\/S0747-7171(08)80037-5_bib193","series-title":"Symbolic Computation in Fluid Mechanics","article-title":"Automatic generation of finite difference code","author":"Roache","year":"1988"},{"key":"10.1016\/S0747-7171(08)80037-5_bib194","article-title":"Similarity solutions of systems of partial differential equations using MACSYMA","author":"Rosenau","year":"1979","journal-title":"Courant Institute of Math. Sci. Report No. COO-3077-160\/ MF-94"},{"key":"10.1016\/S0747-7171(08)80037-5_bib195","doi-asserted-by":"crossref","DOI":"10.2140\/pjm.1968.24.153","article-title":"Liouville's theorem on functions with elementary integrals","volume":"24","author":"Rosenlicht","year":"1968","journal-title":"Pac. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib196","doi-asserted-by":"crossref","DOI":"10.2307\/2318066","article-title":"Integration in finite terms","volume":"79","author":"Rosenlicht","year":"1972","journal-title":"Am. Math. Monthly"},{"key":"10.1016\/S0747-7171(08)80037-5_bib197","doi-asserted-by":"crossref","DOI":"10.2140\/pjm.1976.65.485","article-title":"On Liouville's theory of elementary functions","volume":"65","author":"Rosenlicht","year":"1976","journal-title":"Pac. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib198","doi-asserted-by":"crossref","DOI":"10.2307\/2373949","article-title":"On the value group of a differential valuation","volume":"101","author":"Rosenlicht","year":"1979","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib199","doi-asserted-by":"crossref","DOI":"10.2140\/pjm.1980.86.301","article-title":"Differential valuations","volume":"86","author":"Rosenlicht","year":"1980","journal-title":"Pac. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib200","doi-asserted-by":"crossref","DOI":"10.2307\/2374255","article-title":"On the value group of a differential valuation II","volume":"103","author":"Rosenlicht","year":"1981","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib201","article-title":"Hardy fields","volume":"98","author":"Rosenlicht","year":"1983","journal-title":"J. Math. Anal. Appi"},{"key":"10.1016\/S0747-7171(08)80037-5_bib202","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-1983-0716843-5","article-title":"The rank of a Hardy field","volume":"280","author":"Rosenlicht","year":"1983","journal-title":"Trans. AMS"},{"key":"10.1016\/S0747-7171(08)80037-5_bib203","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-1984-0743747-5","article-title":"Rank charge on adjoining real powers to hardy fields","volume":"284","author":"Rosenlicht","year":"1984","journal-title":"Trans. AMS"},{"key":"10.1016\/S0747-7171(08)80037-5_bib204","series-title":"Growth properties of functions in Hardy fields","author":"Rosenlicht","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib205","series-title":"Contributions to Algebra","article-title":"On elementary, generalized elementary, and liouvillian extension fields","author":"Rosenlicht","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib206","series-title":"Ph.D. thesis","article-title":"Aspects of symbolic integration and simplification of exponential and primitive functions","author":"Rothstein","year":"1976"},{"key":"10.1016\/S0747-7171(08)80037-5_bib207","series-title":"Proc. 1977 MACSYMA Users' Conference NASA Publication CP-2012","article-title":"A new algorithm for the integration of exponential and logarithmic functions","author":"Rothstein","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib208","article-title":"A counterexample to elimination in systems of algebraic differential equations","volume":"30","author":"Rubel","year":"1983","journal-title":"Maihematica"},{"key":"10.1016\/S0747-7171(08)80037-5_bib209","series-title":"Proceedings of the 1981 Symposium on Symbolic and Algebraic Computation","article-title":"An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations","author":"Saunders","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib210","series-title":"Handbuch der Theorie der linearen Differentialgleichungen","author":"Schlesinger","year":"1895"},{"key":"10.1016\/S0747-7171(08)80037-5_bib211","article-title":"Bericht ueber die Entwicklung der Theorie der linearen Differentialgleichungen seit 1865","volume":"XVIII","author":"Schlesinger","year":"1909","journal-title":"Jahresbericht den Deutschen maihetnatiker Vereinigung"},{"key":"10.1016\/S0747-7171(08)80037-5_bib212","series-title":"Proceedings of the 1976 ACM Symposium of Symbolic and Algebraic Computation","article-title":"Automatic symbolic solution of differential equations of the first order and first degree","author":"Schmidt","year":"1976"},{"key":"10.1016\/S0747-7171(08)80037-5_bib213","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09519-5_69","article-title":"Substitution methods for the automatic symbolic solution of differential equations of first order and first degree","volume":"72","author":"Schmidt","year":"1979","journal-title":"Symbolic and Algebraic Computation, EUROSAM'79"},{"key":"10.1016\/S0747-7171(08)80037-5_bib214","article-title":"A REDUCE package for determining Lie symmetries of ordinary and partial differential equations","volume":"27\/2","author":"Schwarz","year":"1982","journal-title":"Comp. Physics Comm."},{"key":"10.1016\/S0747-7171(08)80037-5_bib215","article-title":"Automatically determining symmetries of ordinary differential equations","volume":"162","author":"Schwarz","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib216","article-title":"The Riquer-Janet Theory and its application to nonlinear evolution equations","volume":"11D","author":"Schwarz","year":"1984","journal-title":"Physica"},{"key":"10.1016\/S0747-7171(08)80037-5_bib217","article-title":"An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations","volume":"1\/1","author":"Schwarz","year":"1985","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib218","doi-asserted-by":"crossref","DOI":"10.1007\/BF02259838","article-title":"Automatically determining symmetries of partial differential equations","volume":"34","author":"Schwarz","year":"1985","journal-title":"Computing"},{"key":"10.1016\/S0747-7171(08)80037-5_bib219","series-title":"Topics in Soliion Theory and Exactly Solvable Nonlinear Equations","article-title":"Symmetries and involution systems: some experiments in computer algebra","author":"Schwarz","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib220","article-title":"Symmetries of differential equations: From Sophus Lie to computer algebra","volume":"30\/3","author":"Schwarz","year":"1988","journal-title":"SIAM Review"},{"key":"10.1016\/S0747-7171(08)80037-5_bib221","series-title":"Proc. of the ACM-SIGSAM 1989 ISSAC","article-title":"A factorization algorithm for linear ordinary differential equations","author":"Schwarz","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib222","article-title":"An elimination theory for differential algebra","volume":"3","author":"Seidenberg","year":"1956","journal-title":"Univ. of Calif. Publ. Math. (N.S.)"},{"key":"10.1016\/S0747-7171(08)80037-5_bib223","article-title":"Computing elementary first integrals of differential equations","author":"Shtokhamer","year":"1986","journal-title":"Manuscript"},{"key":"10.1016\/S0747-7171(08)80037-5_bib224","article-title":"Elementary solutions of differential equations","volume":"59\/2","author":"Singer","year":"1975","journal-title":"Pac. J, Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib225","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-1977-0568865-2","article-title":"Functions Satisfying Elementary Relations","volume":"227","author":"Singer","year":"1977","journal-title":"Trans. AMS"},{"key":"10.1016\/S0747-7171(08)80037-5_bib226","article-title":"Algebraic solutions of nth order linear differential equations","volume":"54","author":"Singer","year":"1980"},{"key":"10.1016\/S0747-7171(08)80037-5_bib227","doi-asserted-by":"crossref","DOI":"10.2307\/2374045","article-title":"Liouvillian solutions of nth order linear differential equations","volume":"103","author":"Singer","year":"1981","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib228","doi-asserted-by":"crossref","DOI":"10.2307\/2374373","article-title":"Solving homogeneous linear differential equations in terms of second order linear differential equations","volume":"107","author":"Singer","year":"1985","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib229","series-title":"Liouvillian first integrals of differential equations","author":"Singer","year":"1988"},{"key":"10.1016\/S0747-7171(08)80037-5_bib230","doi-asserted-by":"crossref","DOI":"10.2307\/2374541","article-title":"Algebraic relations among solutions of linear differential equations: Fano's theorem","volume":"110","author":"Singer","year":"1988","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib231","series-title":"Computer Algebra and Differential Equations","article-title":"An outline of differential galois theory","author":"Singer","year":"1988"},{"key":"10.1016\/S0747-7171(08)80037-5_bib232","article-title":"Liouvillian solutions of linear differential equations with liouvillian coefficients","author":"Singer","year":"1988","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib233","doi-asserted-by":"crossref","DOI":"10.1137\/0214069","article-title":"An extension of Liouville's Theorem on integration in finite terms","volume":"14","author":"Singer","year":"1985","journal-title":"SIAM J. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib234","doi-asserted-by":"crossref","DOI":"10.2307\/2374348","article-title":"Applications of linear groups to differential equations","volume":"107","author":"Singer","year":"1985","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib235","series-title":"Proceedings of AAECC-6","article-title":"On Goldman's algorithm for solving first-order multinomial autonomous systems","author":"Sit","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib236","article-title":"A discussion and implementation of Kovacic's algorithm for ordinary differential equations","author":"Smith","year":"1984","journal-title":"University of Waterloo Computer Science Department Research Report CS-84-35"},{"key":"10.1016\/S0747-7171(08)80037-5_bib237","series-title":"Proceedings of the 1979 MACSYMA Users Conference","article-title":"Symmetry Operators","author":"Steinberg","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib238","author":"Steinberg","year":"1983","journal-title":"Symmetries of Differential Equations and Computer Symbolic Manipulation"},{"key":"10.1016\/S0747-7171(08)80037-5_bib239","article-title":"Lie series and nonlinear differential equations","volume":"101\/1","author":"Steinberg","year":"1984","journal-title":"J. Math. Anal. Appl."},{"key":"10.1016\/S0747-7171(08)80037-5_bib240","article-title":"Lie series, Lie transformations, and their applications","volume":"250","author":"Steinberg","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib241","article-title":"Analytical Solutions of Integral Equations Using Computer Algebra","volume":"June","author":"Stoutemyer","year":"1977","journal-title":"Tran. Math. Software"},{"key":"10.1016\/S0747-7171(08)80037-5_bib242","series-title":"Th\u00e8se \u010f\u00e9tat","article-title":"Solutions formelles \u010f\u00e9quations diff\u00e9rentielles","author":"Tournier","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib243","series-title":"Proc. 1976 ACM Symposium on Symbolic and Algebraic Computation","article-title":"Algebraic factoring and rational function integration","author":"Trager","year":"1976"},{"key":"10.1016\/S0747-7171(08)80037-5_bib244","article-title":"Integration of simple radical extensions","volume":"72","author":"Trager","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib245","series-title":"Ph.D. Thesis","article-title":"Integration of algebraic functions","author":"Trager","year":"1984"},{"key":"10.1016\/S0747-7171(08)80037-5_bib246","doi-asserted-by":"crossref","DOI":"10.2307\/2374143","article-title":"Solution of the inverse problem in differential galois theory in the classical case","volume":"101","author":"Tretkoff","year":"1979","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib247","article-title":"An algebraic form of a solution of a system of linear differential equation with constant coefficients","volume":"72","author":"Tournier","year":"1979"},{"key":"10.1016\/S0747-7171(08)80037-5_bib248","series-title":"Th\u00e8se \u010f\u00e9tat","article-title":"Solutions formelles \u010f\u00e9quations diff\u00e9rentielles","author":"Tournier","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib249","series-title":"Computers and Mathematics","article-title":"Symbolic derivation of equations for mixed formulation in finite element analysis","author":"Tan","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib250","article-title":"Analytic Hardy fields and exponential curves on the real plane","volume":"106","author":"van den Dries","year":"1984","journal-title":"Am. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib251","doi-asserted-by":"crossref","DOI":"10.2140\/pjm.1984.113.51","article-title":"Exponential rings, exponential polynomials and exponential functions","volume":"113","author":"van den Dries","year":"1984","journal-title":"Pac. J. Math."},{"key":"10.1016\/S0747-7171(08)80037-5_bib252","article-title":"Tarski's problem and Pfaffian Functions. Preprint. Vessiot, E. 1910. M\u00e9thodes \u010fint\u00e9gration \u00e9l\u00e9mentaires","volume":"Vol. 3","author":"van den Dries","year":"1985","journal-title":"Encyclopaedic des Sci. Math. Pures et Appl. Tome II"},{"key":"10.1016\/S0747-7171(08)80037-5_bib253","series-title":"Mechanical manipulations of differential systems","author":"Wang","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib254","series-title":"Ph.D. Thesis","article-title":"Evaluation of definite integrals by symbolic manipulations","author":"Wang","year":"1971"},{"key":"10.1016\/S0747-7171(08)80037-5_bib255","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(86)80029-3","article-title":"FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis","volume":"2","author":"Wang","year":"1986","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(08)80037-5_bib256_1","article-title":"Formula manipulations solving linear ordinary differential equations (I) & (II)","volume":"Vol. 6","author":"Watanabe","year":"1976"},{"key":"10.1016\/S0747-7171(08)80037-5_bib256_2","article-title":"Formula manipulations solving linear ordinary differential equations II","volume":"Vol. 11","author":"Watanabe","year":"1976"},{"key":"10.1016\/S0747-7171(08)80037-5_bib257","series-title":"Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation","article-title":"A technique for solving ordinary differential equations using Riemann's . P-functions","author":"Watanabe","year":"1981"},{"key":"10.1016\/S0747-7171(08)80037-5_bib258","article-title":"An experiment toward a general quadrature for second order linear differential equations by symbolic computation","volume":"174","author":"Watanabe","year":"1984"},{"key":"10.1016\/S0747-7171(08)80037-5_bib259","article-title":"Analytical decoupling, decision of compatibility and partial integration of systems of non-linear ordinary and partial differential equations","volume":"204","author":"Wolf","year":"1985"},{"key":"10.1016\/S0747-7171(08)80037-5_bib260","article-title":"An analytic algorithm for decoupling and integrating systems of nonlinear partial differential equations","volume":"60\/3","author":"Wolf","year":"1985","journal-title":"J. Comp. Physics"},{"key":"10.1016\/S0747-7171(08)80037-5_bib261","article-title":"A mechanization method of geometry and its applications II. Curve pairs of Bertrand type","volume":"32\/9","author":"Wu","year":"1987","journal-title":"Kexue Tongbao"},{"key":"10.1016\/S0747-7171(08)80037-5_bib262","series-title":"MM Research Preprints, no. 1","article-title":"Mechanical derivation of Newton's gravitational laws from Kepler's laws","author":"Wu","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib263","series-title":"MM Research Preprints, no. 3","article-title":"On the foundation of algebraic differential geometry","author":"Wu","year":"1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib264","series-title":"Determining a Lagrangian for given differential equations","author":"Wolf","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib265","series-title":"Analytic solutions of differential equations with computer algebra systems","author":"Wolf","year":"1987"},{"key":"10.1016\/S0747-7171(08)80037-5_bib266","article-title":"Lie groups and solutions of nonlinear differential equations","volume":"189","author":"Winternitz","year":"1983"},{"key":"10.1016\/S0747-7171(08)80037-5_bib267","series-title":"Proc. IFIP 77","article-title":"Fast algorithm for rational function integration","author":"Yun","year":"1977"},{"key":"10.1016\/S0747-7171(08)80037-5_bib268","article-title":"The method of creative telescoping","author":"Zeilberger","year":"1989","journal-title":"Drexel University Preprint, 1989"},{"key":"10.1016\/S0747-7171(08)80037-5_bib269","series-title":"Handbook of Differential Equations","author":"Zwillinger","year":"1989"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717108800375?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717108800375?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,9,11]],"date-time":"2021-09-11T07:43:12Z","timestamp":1631346192000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717108800375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":272,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,7]]}},"alternative-id":["S0747717108800375"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(08)80037-5","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1990,7]]}}}