<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Several Differentiation Formulas of Special Functions. Part VI

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Several Differentiation Formulas of Special Functions. Part VI"}

In this article, we prove a series of differentiation identities [3] involving the secant and cosecant functions and specific combinations of special functions...

Several Differentiation Formulas of Special Functions. Part VI

Published Online: Jun 09, 2008

Page range: 243 - 250

DOI: https://doi.org/10.2478/v10037-007-0028-1

This content is open access.