The solution of the problem of integration in finite terms

DOI10.1090/S0002-9904-1970-12454-5zbMath0196.06801WikidataQ56212475 ScholiaQ56212475MaRDI QIDQ5592356

Robert Risch

Publication date: 1970

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Differential algebra (12H05)

Related Items

Integration in Finite Terms, On the Integration of Elementary Functions which are Built Up Using Algebraic Operations, Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations, Integration of Algebraic Functions, Comments on Integration of Algebraic Functions, Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve, Computer algebra: Past and future, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Integration of elementary functions, Elementary First Integrals of Differential Equations, Linear differential equations in exponential extensions, Elementary and Liouvillian solutions of linear differential equations, Differential and difference algebra, Some open problems related to creative telescoping, Padé approximations to the logarithm. III: Alternative methods and additional results, Reduction-based creative telescoping for Fuchsian D-finite functions, Computing Logarithmic Parts by Evaluation Homomorphisms✱, Computer proofs of a new family of harmonic number identities., Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique, Macsyma: A personal history, A refined difference field theory for symbolic summation, Liouvillian solutions of linear differential equations with Liouvillian coefficients, A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs, Relative Manin–Mumford in additive extensions, Factoring Multivariate Polynomials over Algebraic Number Fields, Generalized elementary functions, Structural theorems for symbolic summation, A structure theorem for the elementary functions and its application to the identity problem, Towards computerized proofs of identities, Indefinite summation with unspecified summands, Computing the Abel map, From analytic to algebraic methods, Liouville's approach to integration in finite terms, A unification of Liouvillian extensions, The method of differentiating under the integral sign, THE ITERATED INTEGRALS OF ln(1 + xⁿ), Integrals of functions containing parameters, MACSYMA from F to G, Formal solutions of differential equations, Catching Tangent Curves in Fields of Lines, Equivalence of differential equations of order one, Computing statistical divergences with sigma points

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Birational Equivalence of Curves Under Specialization
• Diophantine Equations with Special Reference To Elliptic Curves
• The Problem of Integration in Finite Terms