Displaying similar documents to “The generalized method of exhaustion.”

Several Integrability Formulas of Special Functions

Cuiying Peng, Fuguo Ge, Xiquan Liang (2007)

Formalized Mathematics

Similarity:

In this article, we give several integrability formulas of special and composite functions including trigonometric function, inverse trigonometric function, hyperbolic function and logarithmic function.

Riemann Indefinite Integral of Functions of Real Variable

Yasunari Shidama, Noboru Endou, Katsumi Wasaki (2007)

Formalized Mathematics

Similarity:

In this article we define the Riemann indefinite integral of functions of real variable and prove the linearity of that [1]. And we give some examples of the indefinite integral of some elementary functions. Furthermore, also the theorem about integral operation and uniform convergent sequence of functions is proved.