<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

Online veröffentlicht: 09. Juni 2008

Seitenbereich: 59 - 63

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

This content is open access.