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]

Possibly Related Publications

The following publications are possibly variants of this publication: