Integrability Formulas. Part II
Bo Li, Na Ma, Xiquan Liang (2010)
Formalized Mathematics
Similarity:
In this article, we give several differentiation and integrability formulas of special and composite functions including trigonometric function, and polynomial function.