Indefinite integration as term rewriting: Integrals containing tangent

J. Hu, Y. Hou, Albert D. Rich, David J. Jeffrey. Indefinite integration as term rewriting: Integrals containing tangent. Programming and Computer Software, 39(2):61-66, 2013. [doi]

Abstract

Abstract is missing.