Displaying similar documents to “Inverse Trigonometric Functions Arctan and Arccot”

Integrability Formulas. Part I

Bo Li, Na Ma (2010)

Formalized Mathematics

Similarity:

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

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.