Symbolic integration: the stormy decade
Communications of the ACM
Automatic reduction of elliptic integrals using Carlson's relations
Mathematics of Computation
Polylith: An environment to support management of tool interfaces
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Hi-index | 0.00 |
This presentation describes the study of several candidate methods for the symbolic integration of a class of irrational expressions R(x,y), where y2 is a polynomial in x and R is a rational function of x and y. Three of these methods came from classical investigations of Legendre, Jacobi, and Weierstrass whereas one came from recent investigations of Carlson. The present paper may be considered a progress report on preliminary algorithmic study and some efforts of implementation on MACSYMA. In this presentation, we describe the study of several candidate methods for the symbolic integration of a class of irrational expressions R(x,y), where y2 is a polynomial in x and R is a rational function of x and y. We shall also summarize some efforts of implementation on MACSYMA.