<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Riemann Indefinite Integral of Functions of Real Variable

Gifu National College of Technology, Japan

Formalized Mathematics

{"article-title":"Riemann Indefinite Integral of Functions of Real Variable"}

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...

Riemann Indefinite Integral of Functions of Real Variable

Publicado en línea: 09 jun 2008

Páginas: 59 - 63

DOI: https://doi.org/10.2478/v10037-007-0007-6

This content is open access.