Displaying similar documents to “Asymptotic estimates for the growth of meromorphic solutions to differential equations in angular domains.”

Inverse Trigonometric Functions Arctan and Arccot

Xiquan Liang, Bing Xie (2008)

Formalized Mathematics

Similarity:

This article describes definitions of inverse trigonometric functions arctan, arccot and their main properties, as well as several differentiation formulas of arctan and arccot.MML identifier: SIN COS9, version: 7.8.10 4.100.1011

Integrability Formulas. Part II

Bo Li, Na Ma, Xiquan Liang (2010)

Formalized Mathematics

Similarity:

In this article, we give several differentiation and integrability formulas of special and composite functions including trigonometric function, and polynomial function.