Several Differentiation Formulas of Special Functions. Part III
Bo Li, Yan Zhang, Xiquan Liang (2006)
Formalized Mathematics
Similarity:
In this article, we give several differentiation formulas of special and composite functions including trigonometric function, inverse trigonometric function, polynomial function and logarithmic function.