On 2-strong homomorphisms and 2-normed hypersets in hypervector spaces.
Raja, P., Vaezpour, S.M. (2008)
The Journal of Nonlinear Sciences and its Applications
Similarity:
Raja, P., Vaezpour, S.M. (2008)
The Journal of Nonlinear Sciences and its Applications
Similarity:
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
In this article, we aim to prove the characterization of differentiation by means of partial differentiation for vector-valued functions on n-dimensional real normed linear spaces (refer to [15] and [16]).
Takao Inoué, Noboru Endou, Yasunari Shidama (2010)
Formalized Mathematics
Similarity:
In this article, we define and develop differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [16] and [17]).
Keiko Narita, Artur Korniłowicz, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such functions.
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
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]).
Gozali, S.M., Gunawan, H., Neswan, O. (2010)
Annals of Functional Analysis (AFA) [electronic only]
Similarity:
Priya Raphael, Shaini Pulickakunnel (2012)
Kragujevac Journal of Mathematics
Similarity:
Abbassi, Hossein, Nourouzi, Kourosh (2009)
International Journal of Open Problems in Computer Science and Mathematics. IJOPCM
Similarity:
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article, we formalize continuous differentiability of realvalued functions on n-dimensional real normed linear spaces. Next, we give a definition of the Ck space according to [23].
Keiko Narita, Noboru Endou, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article, we describe the differential equations on functions from R into real Banach space. The descriptions are based on the article [20]. As preliminary to the proof of these theorems, we proved some properties of differentiable functions on real normed space. For the proof we referred to descriptions and theorems in the article [21] and the article [32]. And applying the theorems of Riemann integral introduced in the article [22], we proved the ordinary differential equations...
Chmieliński, Jacek (2007)
Banach Journal of Mathematical Analysis [electronic only]
Similarity:
Mazaheri, H., Kazemi, R. (2007)
Novi Sad Journal of Mathematics
Similarity: