Add to ORKGWhen a computer algebra system has an assumption facility, it is possible to distinguish between integration problems with respect to a real variable, and those with respect to a complex variable. Here, a class of integration problems is de ned in which the integrand consists of compositions of continuous functions and signum functions, and integration is with respect to a real variable. Algorithms are given for evaluating such integrals
AbstractWe extend a recent algorithm of Trager to a decision procedure for the indefinite integratio...
The computation of definite integrals presents one with a variety of choices. There are various meth...
We indicate how to extend the Risch algorithm to handle a class of special functions defined in term...
When a computer algebra system has an assumption facility, it is possible to distinguish between int...
Symbolic integration deals with the evaluation of integrals in closed form. We present an overview o...
Algorithms for integration of the algebraic functions implemented in modern computer algebra systems...
Symbolic integration deals with the evaluation of integrals in closed form. We present an overview o...
AbstractA method is proposed by which elliptic integrals can be integrated symbolically without info...
A new method is proposed for finding the logarithmic part of an integral over an algebraic function....
In this memo we describe the current state of the integration program originally described in AI M...
In spite of being a classical problem, the current techniques in Mathe-matica available for Symbolic...
This paper is intended as an introduction to the theory of symbolic integration. First a review of i...
AbstractThis paper extends the decision procedure for the symbolic integration of a certain class of...
AbstractLet an analytic or a piecewise analytic function on a compact interval be given. We present ...
An algorithm is presented for the symbolic integration of a class of algebraic functions. This class...
AbstractWe extend a recent algorithm of Trager to a decision procedure for the indefinite integratio...
The computation of definite integrals presents one with a variety of choices. There are various meth...
We indicate how to extend the Risch algorithm to handle a class of special functions defined in term...
When a computer algebra system has an assumption facility, it is possible to distinguish between int...
Symbolic integration deals with the evaluation of integrals in closed form. We present an overview o...
Algorithms for integration of the algebraic functions implemented in modern computer algebra systems...
Symbolic integration deals with the evaluation of integrals in closed form. We present an overview o...
AbstractA method is proposed by which elliptic integrals can be integrated symbolically without info...
A new method is proposed for finding the logarithmic part of an integral over an algebraic function....
In this memo we describe the current state of the integration program originally described in AI M...
In spite of being a classical problem, the current techniques in Mathe-matica available for Symbolic...
This paper is intended as an introduction to the theory of symbolic integration. First a review of i...
AbstractThis paper extends the decision procedure for the symbolic integration of a certain class of...
AbstractLet an analytic or a piecewise analytic function on a compact interval be given. We present ...
An algorithm is presented for the symbolic integration of a class of algebraic functions. This class...
AbstractWe extend a recent algorithm of Trager to a decision procedure for the indefinite integratio...
The computation of definite integrals presents one with a variety of choices. There are various meth...
We indicate how to extend the Risch algorithm to handle a class of special functions defined in term...