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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have