Integrability and the Integral of Partial Functions from R into R 1
Noboru Endou, Yasunari Shidama, Masahiko Yamazaki (2006)
Formalized Mathematics
Similarity:
In this paper, we showed the linearity of the indefinite integral [...] the form of which was introduced in [11]. In addition, we proved some theorems about the integral calculus on the subinterval of [a,b]. As a result, we described the fundamental theorem of calculus, that we developed in [11], by a more general expression.