A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Riemann Indefinite Integral of Functions of Real Variable
2007
Formalized Mathematics
Preserved Fulltext
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. MML identifier: INTEGRA7, version: 7.8.05 4.84.971 The papers [24]
doi:10.2478/v10037-007-0007-6
fatcat:tk64ouqp75fh3i34gd4ti5rrci