Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces

Xiquan Liang, Piqing Zhao, Ou Bai. Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces. Formalized Mathematics, 18(1-4):1-10, 2010. [doi]

Abstract

Abstract is missing.