Riemann Integral of Functions from R into R n
Keiichi Miyajima, Yasunari Shidama (2009)
Formalized Mathematics
Similarity:
In this article, we define the Riemann Integral of functions from R into Rn, and prove the linearity of this operator. The presented method is based on [21].