Several Integrability Formulas of Special Functions
Cuiying Peng, Fuguo Ge, Xiquan Liang (2007)
Formalized Mathematics
Similarity:
In this article, we give several integrability formulas of special and composite functions including trigonometric function, inverse trigonometric function, hyperbolic function and logarithmic function.