Indefinite integration as term rewriting: Integrals containing tangent

Authors:
J. Hu;Y. Hou;A. D. Rich;D. J. Jeffrey
Affiliations:
Department of Applied Mathematics, The University of Western Ontario, London, Canada N6A 5B7;Department of Applied Mathematics, The University of Western Ontario, London, Canada N6A 5B7;Department of Applied Mathematics, The University of Western Ontario, London, Canada N6A 5B7;Department of Applied Mathematics, The University of Western Ontario, London, Canada N6A 5B7
Venue:
Programming and Computing Software
Year:
2013

Citing 4
Cited 0

Integration of rational functions: Rational computation of the logarithmic part

Journal of Symbolic Computation
Integration to obtain expressions valid on domains of maximum extent

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Algebraic factoring and rational function integration

SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A Knowledge Repository for Indefinite Integration Based on Transformation Rules

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the development of a term-rewriting system for indefinite integration; it is also called a rule-based evaluation system. The development is separated into modules, and we describe the module for a wide class of integrands containing the tangent function.