<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>This article describes definitions of inverse trigonometric functions arctan, arccot and their main properties, as well as several differentiation formulas of arctan and arccot.</p><p>MML identifier: SIN COS9, version: 7.8.10 4.100.1011</p></abstract>

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

Inverse Trigonometric Functions Arctan and Arccot

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Inverse Trigonometric Functions Arctan and Arccot"}

This article describes definitions of inverse trigonometric functions arctan, arccot and their main properties, as well as several differentiation formulas of...

Inverse Trigonometric Functions Arctan and Arccot

Publicado en línea: 20 mar 2009

Páginas: 147 - 158

DOI: https://doi.org/10.2478/v10037-008-0021-3

This content is open access.