The Problem of Integration in Finite Terms
From MaRDI portal
Publication:5575659
DOI10.2307/1995313zbMath0184.06702OpenAlexW4239323007MaRDI QIDQ5575659
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/1995313
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, Unnamed Item, Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals, An extension of the Prelle-Singer method and a Maple implementation, Computer algebra: Past and future, Integration of elementary functions, The solution of the problem of integration in finite terms, Elementary First Integrals of Differential Equations, Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?, Linear differential equations in exponential extensions, Elementary and Liouvillian solutions of linear differential equations, Algorithms and methods in differential algebra, Differential and difference algebra, Some open problems related to creative telescoping, Iterated binomial sums and their associated iterated integrals, Padé approximations to the logarithm. III: Alternative methods and additional results, Hardy's Reduction for a Class of Liouville Integrals of Elementary Functions, Reduction-based creative telescoping for Fuchsian D-finite functions, Rational Liouvillian solutions of algebraic ordinary differential equations of order one, Computing Logarithmic Parts by Evaluation Homomorphisms✱, Computing constraint sets for differential fields, Liouvillian solutions of algebraic ordinary differential equations of order one of genus zero, Primitive transcendental functions and symbolic computation, Interview with Peter Paule, Nonintegrability of the SEIR epidemic model, Representation of hypergeometric products of higher nesting depths in difference rings, Proving an execution of an algorithm correct?, Transforming problems from analysis to algebra: a case study in linear boundary problems, Lyapunov exponents for linear homogeneous differential equations, Parallel integration (extended abstract), Differential Galois theory and non-integrability of planar polynomial vector fields, Combinatory differential fields, A criterion for the similarity of length-two elements in a noncommutative PID., Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique, The transcendental Risch differential equation, Macsyma: A personal history, A refined difference field theory for symbolic summation, Liouvillian solutions of linear differential equations with Liouvillian coefficients, Hypercomputation by definition, A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs, A difference ring theory for symbolic summation, Generalized elementary functions, Structure theorems for parallel integration, Integration of a class of transcendental Liouvillian functions with error-functions. I, Algebraic Relations Among Solutions of Linear Differential Equations, Analytic computation of some integrals in fourth order quantum electrodynamics, Structural theorems for symbolic summation, A structure theorem for the elementary functions and its application to the identity problem, Liouvillian integration of the Lotka-Volterra system, Indefinite integration as term rewriting: integrals containing tangent, Liouvillian First Integrals of Differential Equations, Indefinite summation with unspecified summands, Econometric modelling with nonnormal disturbances, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, Computing the Abel map, Approximate solution (with error bounds) to a nonlinear, nonautonomous second-order differential equation, Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, Stam’s Identities Collection: A Case Study for Math Knowledge Bases, Complexity of Integration, Special Values, and Recent Developments, A unification of Liouvillian extensions, Editorial: Symbolic computation and satisfiability checking, Symbolic analysis of feynman diagrams by computer, Special issue: Differential algebra and differential equations, Simplifying Multiple Sums in Difference Fields, Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey, Effective Set Membership in Computer Algebra and Beyond, MACSYMA from F to G, Evaluation of classes of definite integrals involving elementary functions via differentiation of special functions, A method for symbolic evaluation of indefinite integrals containing special functions of their products, Nested Integrals and Rationalizing Transformations, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Integration in finite terms with special functions: the error function, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
Cites Work
- The decision problem for exponential diophantine equations
- Liouville's theorem on functions with elementary integrals
- Sur l'intégrabilite élémentaire de quelques classes d'expressions
- Abstract Differential Algebra and the Analytic Case
- Galois Theory of Differential Fields
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
