2024-03-29T11:14:41Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018389
2022-12-14T04:00:58Z
1221:1222
Riemann Integral of Funtions from R into Real Banach Space
Narita, Keiko
Endou, Noboru
Shidama, Yasunari
Article
Formalized Mathematics. 21(2): 145-152 (2013)
journal article
De Gruyter Open
2013-06
application/pdf
Formalized Mathematics
2
21
145
152
1898-9934
https://soar-ir.repo.nii.ac.jp/record/18389/files/[Formalized Mathematics] Riemann Integral of Functions from ℝ into Real Banach Space.pdf
eng
10.2478/forma-2013-0016
https://doi.org/10.2478/forma-2013-0016
© 2013 University of Białystok CC-BY-SA License ver. 3.0 or later