%0 Journal Article
%T Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
%A Takao Inou¨¦
%A Adam Naumowicz
%A Noboru Endou
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0001-x
%X In this article, we define and develop partial differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [19] and [20]).
%U http://versita.metapress.com/content/k3up538481q224u1/?p=25816f9e6d274cf5ab90abc2a2c39abd&pi=0