Displaying similar documents to “Convolutions with the continuous primitive integral.”

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.