A note on the paper “Characterizations on 2-isometries”.
Abbassi, Hossein, Nourouzi, Kourosh (2009)
International Journal of Open Problems in Computer Science and Mathematics. IJOPCM
Similarity:
Abbassi, Hossein, Nourouzi, Kourosh (2009)
International Journal of Open Problems in Computer Science and Mathematics. IJOPCM
Similarity:
Mehmet Açikgöz (2009)
Matematički Vesnik
Similarity:
Goleţ, Ioan (2006)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity:
Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In this article, we described the contracting mapping on normed linear space. Furthermore, we applied that mapping to ordinary differential equations on real normed space. Our method is based on the one presented by Schwarz [29].
Gozali, S.M., Gunawan, H., Neswan, O. (2010)
Annals of Functional Analysis (AFA) [electronic only]
Similarity:
Mazaheri, H., Kazemi, R. (2007)
Novi Sad Journal of Mathematics
Similarity:
Chmieliński, Jacek (2007)
Banach Journal of Mathematical Analysis [electronic only]
Similarity:
Noboru Endou, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article we formalized the Fréchet differentiation. It is defined as a generalization of the differentiation of a real-valued function of a single real variable to more general functions whose domain and range are subsets of normed spaces [14].
Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In this article, we formalize differentiability of functions on normed linear spaces. Partial derivative, mean value theorem for vector-valued functions, continuous differentiability, etc. are formalized. As it is well known, there is no exact analog of the mean value theorem for vector-valued functions. However a certain type of generalization of the mean value theorem for vector-valued functions is obtained as follows: If ||ƒ'(x + t · h)|| is bounded for t between 0 and 1 by some constant...
Yuichi Futa, Noboru Endou, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article, we formalize isometric differentiable functions on real normed space [17], and their properties.
Priya Raphael, Shaini Pulickakunnel (2012)
Kragujevac Journal of Mathematics
Similarity:
Raja, P., Vaezpour, S.M. (2008)
The Journal of Nonlinear Sciences and its Applications
Similarity:
Tyas Rangga Kristiantoo, Raden Akbar Wibawa-Kusumah, Hendra Gunawan (2013)
Matematički Vesnik
Similarity: