Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations

DOI10.1007/978-3-030-98767-1_6OpenAlexW4286377161MaRDI QIDQ5050160

Clemens G. Raab

Publication date: 15 November 2022

Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-98767-1_6

Mathematics Subject Classification ID

Differential algebra (12H05) Functions of one variable (26Axx) Classical measure theory (28Axx)

Uses Software

• MultiZeilberger
• DEtools
• Rubi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Additive normal forms and integration of differential fractions
• Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions
• A difference ring theory for symbolic summation
• The method of differentiating under the integral sign
• Integration of rational functions: Rational computation of the logarithmic part
• 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
• On Mathematica program for ``Poor Man's Integrator implementing Risch-Norman algorithm
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• Theory of summation in finite terms
• Integration in finite terms with special functions: the error function
• On the integration of algebraic functions
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• Integration of a class of transcendental Liouvillian functions with error-functions. I
• Non-commutative elimination in Ore algebras proves multivariate identities
• Integration of a class of transcendental Liouvillian functions with error-functions. II
• A note on subresultants and the Lazard/Rioboo/Trager formula in rational function integration
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• A unification of Liouvillian extensions
• Symbolic integration I: Transcendental functions
• A note on Gröbner bases and integration of rational functions
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Structure theorems for parallel integration
• Integration of elementary functions
• Constructing reductions for creative telescoping. The general differentially finite case
• Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
• A non-holonomic systems approach to special function identities
• Integration of unspecified functions and families of iterated integrals
• Symbolic Computation of Parameter Integrals
• On the parallel Risch algorithm (III)
• A generalized Apagodu-Zeilberger algorithm
• A Knowledge Repository for Indefinite Integration Based on Transformation Rules
• An Extension of Liouville’s Theorem on Integration in Finite Terms
• On the parallel Risch Algorithm (II)
• Integration in Finite Terms with Special Functions: The Logarithmic Integral
• Summation in Finite Terms
• Additive Decompositions in Primitive Extensions
• An additive decomposition in logarithmic towers and beyond
• Symbolic definite (and indefinite) integration
• Technique for Evaluating Indefinite Integrals Involving Products of Certain Special Functions
• Telescopers for rational and algebraic functions via residues
• Creative Telescoping for Holonomic Functions
• Generalization of Risch’s Algorithm to Special Functions
• Integration of algebraic functions
• Some undecidable problems involving elementary functions of a real variable
• The Problem of Integration in Finite Terms
• The solution of the problem of integration in finite terms

This page was built for publication: Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations