Several Integrability Formulas of Special Functions. Part II
Bo Li, Yanping Zhuang, Yanhong Men, Xiquan Liang (2009)
Formalized Mathematics
Similarity:
In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, the hyperbolic function and the polynomial function [3].MML identifier: INTEGR11, version: 7.11.01 4.117.1046