Several Differentiation Formulas of Special Functions. Part V
Peng Wang, Bo Li (2007)
Formalized Mathematics
Similarity:
In this article, we give several differentiation formulas of special and composite functions including trigonometric, polynomial and logarithmic functions.