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

Bibliographic Details
Main Authors: Liang Xiquan, Zhao Piqing, Bai Ou
Format: Article
Language:English
Published: Sciendo 2010-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-010-0001-2