%0 Journal Article
%T Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
%A Takao Inou¨¦
%A Noboru Endou
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2010
%I 
%R 10.2478/v10037-010-0025-7
%X In this article, we define and develop differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [16] and [17]).
%U http://versita.metapress.com/content/b62ug67kx78t3mh8/?p=9ae4ba60c935434f835f9c59f251df83&pi=3