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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: