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