@article{oai:soar-ir.repo.nii.ac.jp:00018390,
 author = {Endou, Noboru and Shidama, Yasunari},
 issue = {2},
 journal = {Formalized Mathematics},
 month = {Jun},
 note = {Article, Formalized Mathematics. 21(2): 95-102 (2013)},
 pages = {95--102},
 title = {Differentiation in Normed Spaces},
 volume = {21},
 year = {2013}
}