Indefinite integration as term rewriting: Integrals containing tangent
Jinqing Hu, Y. Hou, Albert D. Rich, David J. Jeffrey · Programming and Computer Software · 2013
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.