Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
Annales de l'Institut Fourier, Volume 34 (1984) no. 2, p. 271-276

We consider the problem of determining the solutions of an ordinary differential equation of Risch type on an algebraic curve. In fact, a relatively straight-forward generalisation of Risch’s method gives the answer which allows us to generalise his integration algorithm to elementary transcendental extensions of algebraic extensions of the rational functions.

On considère le problème de déterminer les solutions d’une équation différentielle ordinaire, dite de Risch sur une courbe algébrique. En fait une généralisation assez évidente de la méthode de Risch suffit mais elle nous permet de généraliser son algorithme d’intégration à toute extension élémentairement transcendante d’une extension algébrique des fonctions rationnelles.

@article{AIF_1984__34_2_271_0,
     author = {Davenport, J. H.},
     title = {Int\'egration algorithmique des fonctions \'el\'ementairement transcendantes sur une courbe alg\'ebrique},
     journal = {Annales de l'Institut Fourier},
     publisher = {Imprimerie Durand},
     address = {28 - Luisant},
     volume = {34},
     number = {2},
     year = {1984},
     pages = {271-276},
     doi = {10.5802/aif.973},
     zbl = {0506.34002},
     mrnumber = {85i:12009},
     language = {fr},
     url = {http://www.numdam.org/item/AIF_1984__34_2_271_0}
}
Davenport, J. H. Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Annales de l'Institut Fourier, Volume 34 (1984) no. 2, pp. 271-276. doi : 10.5802/aif.973. http://www.numdam.org/item/AIF_1984__34_2_271_0/

[1] C. Chevalley, Introduction to the Theory of Algebraic Functions of one Variable, A.M.S. Surveys, VI (1951). | MR 13,64a | Zbl 0045.32301

[2] J. Coates, Construction of Rational Functions on a Curve, Proc. Cam. Phil. Soc., 68 (1970), 105-113. | MR 41 #3477 | Zbl 0215.37302

[3] J. H. Davenport, On the Integration of Algebraic Functions, Springer Lecture Notes in Computer Science, 102 (1981). | MR 84k:14024 | Zbl 0471.14009

[4] J. H. Davenport. Intégration Formelle, Rapport de Recherche IMAG, Mai 1983.

[5] J. H. Davenport and B. M. Trager, Factorization over Finitely Generated Fields. Proc. SYMSAC 81 (ed. P.S. Wang), A.C.M., New York, 1981. | Zbl 0481.68040

[6] R. H. Risch. The Problem of Integration in Finite Terms, Trans. A.M.S., 139 (1969), 167-189. | MR 38 #5759 | Zbl 0184.06702

[7] R. H. Risch, The Solution of the Problem of Integration in Finite Terms, Bull. A.M.S., 76 (1970), 605-608. | MR 42 #4530 | Zbl 0196.06801

[8] B. M. Trager, Algebraic Factoring and Rational Function Integration, Proc. SYMSAC 76 (ed. R.D. Jenks), A.C.M., New York, 1976. | Zbl 0498.12005

[9] B. L. Van Der Waerden, Modern Algebra, F. Ungar, New York, 1949 (trad. de Moderne Algebra 2nd ed., Springer, Berlin, 1937).