2024-03-28T11:44:43Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018399
2022-12-14T04:30:55Z
1221:1222
Riemann Integral of Functions from R into n-dimensional Real Normed Space
Miyajima, Keiichi
Artur, Korniłowicz
Shidama, Yasunari
Article
Formalized Mathematics. 20(1): 79-86 (2012)
journal article
De Gruyter Open
2012-01
application/pdf
Formalized Mathematics
1
20
79
86
1898-9934
https://soar-ir.repo.nii.ac.jp/record/18399/files/[Formalized Mathematics] Riemann Integral of Functions from R into n-dimensional Real Normed Space.pdf
eng
10.2478/v10037-012-0011-3
https://doi.org/10.2478/v10037-012-0011-3
© 2012 University of Białystok CC-BY-SA License ver. 3.0 or later