Displaying similar documents to “Integrability Formulas. Part II”

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.

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 III

Bo Li, Na Ma (2010)

Formalized Mathematics

Similarity:

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

Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions

Bo Li, Yanping Zhuang, Bing Xie, Pan Wang (2009)

Formalized Mathematics

Similarity:

In this article, we give several integrability formulas of some functions including the trigonometric function and the index function [3]. We also give the definitions of the orthogonal polynomial and norm function, and some of their important properties [19].MML identifier: INTEGRA9, version: 7.11.01 4.117.1046