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.
Similar content being viewed by others
References
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.
Richard J. Fateman, A Review of Mathematica, J. Symb. Computation, 1992, vol. 13, no. 5, pp. 545–579.
Hardy, G.H., A Mathematician’s Apology, Canto, Cambridge University Press, 2012.
Jeffrey, D.J., Integration to Obtain Expressions Valid on Domains of Maximum Extent, Manuel Bronstein, Ed., ISSAC’93: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ACM Press, 1993, pp. 34–41.
Daniel Lazard and Renaud Rioboo, Integration of Rational Functions: Rational Computation of the Logarithmic Part, J. Symb. Computation, 1990, vol. 9, pp. 113–115.
Rich, A.D., Rule Based Mathematics. Website: www.apmaths.uwo.ca/~arich.
Rich, A.D. and Jeffrey, D.J., A Knowledge Repository for Indefinite Integration Based on Transformation Rules, Intelligent Computer Mathematics, vol. 5625 of LNCS, Springer, 2009, pp. 480–485.
Robert H. Risch, The Problem of Integration in Finite Terms, Trans. Amer. Math. Soc., 1969, vol. 139, pp. 167–189.
Michael Rothstein, A New Algorithm for the Integration of Exponential and Logarithmic Functions, Proceedings of the 1977 MACSYMA Users Conference, 1977, pp. 263–274.
Barry M. Trager, Algebraic Factoring and Rational Function Integration, Jenks, R.D., Ed., Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation SYMSAC’76, ACM Press, 1976, pp. 219–226.
Detmar Martin Welz, Recurrence Relations for Integrals Containing Tangent, Personal Communication, 2011.
Author information
Authors and Affiliations
Corresponding author
Additional information
The article is published in the original.
Rights and permissions
About this article
Cite this article
Hu, J., Hou, Y., Rich, A.D. et al. Indefinite integration as term rewriting: Integrals containing tangent. Program Comput Soft 39, 61–66 (2013). https://doi.org/10.1134/S0361768813020059
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768813020059