Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Bibliographic Details
Main Authors: Inoué Takao, Naumowicz Adam, Endou Noboru, Shidama Yasunari
Format: Article
Language:English
Published: Sciendo 2011-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-011-0001-x