<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we prove a series of differentiation identities [2] involving the arctan and arccot functions and specific combinations of special functions including trigonometric and exponential functions.</p><p>MML identifier: FDIFF 11, version: 7.10.01 4.111.1036</p></abstract>

In this article, we prove a series of differentiation identities [2] involving the arctan and arccot functions and specific combinations of special functions including trigonometric and exponential functions.MML identifier: FDIFF 11, version: 7.10.01 4.111.1036

Several Differentiation Formulas of Special Functions. Part VII

Qingdao University of Science and Technology, China

Formalized Mathematics

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

In this article, we prove a series of differentiation identities [2] involving the arctan and arccot functions and specific combinations of special functions...

Several Differentiation Formulas of Special Functions. Part VII

Published Online: Mar 20, 2009

Page range: 389 - 399

DOI: https://doi.org/10.2478/v10037-008-0047-6

This content is open access.