<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we define and develop partial differentiation of vector-valued functions on <italic>n</italic>-dimensional real normed linear spaces (refer to [19] and [20]).</p></abstract>

In this article, we define and develop partial differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [19] and [20]).

Partial Differentiation of Vector-Valued Functions on <italic>n</italic>-Dimensional Real Normed Linear Spaces

Inaba 2205, Wing-Minamikan Nagano, Nagano, Japan

Institute of Computer Science, University of Białystok, Akademicka 2, 15-267 Białystok, Poland

Gifu National College of Technology, Japan

Formalized Mathematics

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

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

Online veröffentlicht: 18. Juli 2011

Seitenbereich: 1 - 9

DOI: https://doi.org/10.2478/v10037-011-0001-x

This content is open access.