Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
From MaRDI portal
Publication:5050160
DOI10.1007/978-3-030-98767-1_6OpenAlexW4286377161MaRDI QIDQ5050160
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
Uses Software
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
