@article{oai:soar-ir.repo.nii.ac.jp:00018421, author = {Inoué, Takao and Endou, Noboru and Shidama, Yasunari}, issue = {4}, journal = {Formalized Mathematics}, month = {Dec}, note = {Article, Formalized Mathematics. 18(4): 207-212 (2010)}, pages = {207--212}, title = {Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces}, volume = {18}, year = {2010} }