@dblp

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

, , and . Formalized Mathematics, 18 (1-4): 1-10 (2010)

Links and resources

Tags