Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces. - Xiquan Liang; Piqing Zhao; Ou Bai (Formaliz. Math., 2010)