Several Differentiable Formulas Of Special Functions

Yan Zhang,Xiquan Liang
2005-01-01
Formalized Mathematics
Abstract:In this article, we give several differentiable formulas of special functions. There are some specific composite functions consisting of rational functions, irrational functions, trigonometric functions, exponential functions or logarithmic functions.
What problem does this paper attempt to address?