Indefinite integration as term rewriting: Integrals containing tangent
- 82 Downloads
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.
KeywordsRecurrence Relation Computer Algebra System Mathematical Beauty Algebraic Simplification Term Rewrite
Unable to display preview. Download preview PDF.
- 1.Buchberger, B., Mathematica as a Rewrite Language, Ida, T., Ohori, A., and Takeichi, M., eds., Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1–4, 1996, Shonan Village Center), pp. 1–13, Copyright: World Scientific, Singapore—New Jersey—London—Hong Kong, 1996.Google Scholar
- 6.Rich, A.D., Rule Based Mathematics. Website: www.apmaths.uwo.ca/~arich.
- 9.Michael Rothstein, A New Algorithm for the Integration of Exponential and Logarithmic Functions, Proceedings of the 1977 MACSYMA Users Conference, 1977, pp. 263–274.Google Scholar
- 11.Detmar Martin Welz, Recurrence Relations for Integrals Containing Tangent, Personal Communication, 2011.Google Scholar