2024-03-28T15:00:09Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018396
2022-12-14T04:31:02Z
1221:1222
Differentiable Functions on Normed Linear Spaces
Shidama, Yasunari
© 2012 University of Białystok CC-BY-SA License ver. 3.0 or later
Article
Formalized Mathematics. 20(1): 31-40 (2012)
De Gruyter Open
2012-01
eng
journal article
VoR
http://hdl.handle.net/10091/00019158
https://soar-ir.repo.nii.ac.jp/records/18396
https://doi.org/10.2478/v10037-012-0005-1
10.2478/v10037-012-0005-1
1898-9934
Formalized Mathematics
20
1
31
40
https://soar-ir.repo.nii.ac.jp/record/18396/files/[Formalized Mathematics] Differentiable Functions on Normed Linear Spaces.pdf
application/pdf
322.0 kB
2016-09-14