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

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
id doaj-10dc5f800e584c87a5bf6b2218e0fa11
record_format Article
spelling doaj-10dc5f800e584c87a5bf6b2218e0fa112021-09-05T18:16:48ZengSciendoFormalized Mathematics1426-26301898-99342011-01-011911910.2478/v10037-011-0001-xPartial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear SpacesInoué Takao0Naumowicz Adam1Endou Noboru2Shidama Yasunari3Inaba 2205, Wing-Minamikan Nagano, Nagano, JapanInstitute of Computer Science, University of Białystok, Akademicka 2, 15-267 Białystok, PolandGifu National College of Technology, JapanShinshu University, Nagano, Japanhttps://doi.org/10.2478/v10037-011-0001-x
collection DOAJ
language English
format Article
sources DOAJ
author Inoué Takao
Naumowicz Adam
Endou Noboru
Shidama Yasunari
spellingShingle Inoué Takao
Naumowicz Adam
Endou Noboru
Shidama Yasunari
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Formalized Mathematics
author_facet Inoué Takao
Naumowicz Adam
Endou Noboru
Shidama Yasunari
author_sort Inoué Takao
title Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
title_short Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
title_full Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
title_fullStr Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
title_full_unstemmed Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
title_sort partial differentiation of vector-valued functions on n-dimensional real normed linear spaces
publisher Sciendo
series Formalized Mathematics
issn 1426-2630
1898-9934
publishDate 2011-01-01
url https://doi.org/10.2478/v10037-011-0001-x
work_keys_str_mv AT inouetakao partialdifferentiationofvectorvaluedfunctionsonndimensionalrealnormedlinearspaces
AT naumowiczadam partialdifferentiationofvectorvaluedfunctionsonndimensionalrealnormedlinearspaces
AT endounoboru partialdifferentiationofvectorvaluedfunctionsonndimensionalrealnormedlinearspaces
AT shidamayasunari partialdifferentiationofvectorvaluedfunctionsonndimensionalrealnormedlinearspaces
_version_ 1717786020537171968

Similar Items