2024-03-28T17:20:14Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018418
2022-12-14T04:05:41Z
1221:1222
Riemann Integral of Functions from R into Real Normed Space
Miyajima, Keiichi
Kato, Takahiro
Shidama, Yasunari
Article
Formalized Mathematics. 19(1): 17-22 (2011)
journal article
De Gruyter Open
2011-03
application/pdf
Formalized Mathematics
1
19
17
22
1898-9934
https://soar-ir.repo.nii.ac.jp/record/18418/files/[Formalized Mathematics] Riemann Integral of Functions from R into Real Normed Space.pdf
eng
10.2478/v10037-011-0003-8
https://doi.org/10.2478/v10037-011-0003-8
© 2011 University of Białystok