Riemann Indefinite Integral of Functions of Real Variable

Yasunari Shidama, Noboru Endou, Katsumi Wasaki
2007 Formalized Mathematics  
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