Riemann Integral of Functions from R into Real Normed Space - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama. Riemann Integral of Functions from R into Real Normed Space. Formalized Mathematics, 19(1):17-22, 2011. [doi]

The following publications are possibly variants of this publication:

Riemann Integral of Functions from ℝ into Real Banach SpaceKeiko Narita, Noboru Endou, Yasunari Shidama. fm, 21(2):145-152, 2013. [doi]

The Linearity of Riemann Integral on Functions from ℝ into Real Banach SpaceKeiko Narita, Noboru Endou, Yasunari Shidama. fm, 21(3):185-191, 2013. [doi]

Riemann Integral of Functions from R into RnKeiichi Miyajima, Yasunari Shidama. fm, 17(1-4):179-185, 2009. [doi]

Riemann Integral of Functions R into CKeiichi Miyajima, Takahiro Kato, Yasunari Shidama. fm, 18(1-4):201-206, 2010. [doi]

runs on WebDSL