%0 Journal Article
%T Riemann Integral of Functions from R into Real Normed Space
%A Keiichi Miyajima
%A Takahiro Kato
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0003-8
%X In this article, we define the Riemann integral on functions from R into real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to a wider range of functions. The proof method follows the [16].
%U http://versita.metapress.com/content/kn535246264t348m/?p=25816f9e6d274cf5ab90abc2a2c39abd&pi=2