Several Differentiation Formulas of Special Functions. Part VI
Bo Li, Pan Wang (2007)
Formalized Mathematics
Similarity:
In this article, we prove a series of differentiation identities [3] involving the secant and cosecant functions and specific combinations of special functions including trigonometric, exponential and logarithmic functions.