Displaying similar documents to “Proofs of three open inequalities with power-exponential functions.”

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