%0 Journal Article
%T Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces
%A Xiquan Liang
%A Piqing Zhao
%A Ou Bai
%J Formalized Mathematics
%@ 1898-9934
%D 2010
%I 
%R 10.2478/v10037-010-0001-2
%X In this article, we first extend several basic theorems of the operation of vector in 3-dimensional Euclidean spaces. Then three unit vectors: e1, e2, e3 and the definition of vector function in the same spaces are introduced. By dint of unit vector the main operation properties as well as the differentiation formulas of vector function are shown [12].
%U http://versita.metapress.com/content/42r5x20381k0x423/?p=61b23553b62540b9a78312c2f3ea4bb9&pi=0