Search Results

1 - 4 of 4 items :

  • Cartesian product x
  • Numerical and Computational Mathematics x
  • Computer Sciences x
Clear All
Isomorphisms from the Space of Multilinear Operators

] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [9] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann, 1997. [10] Laurent Schwartz. Calcul différentiel, tome 2. Analyse . Hermann, 1997. [11] Kosaku Yoshida. Functional Analysis . Springer, 1980.

Open access
Invertible Operators on Banach Spaces

] Kazuhisa Nakasho, Yuichi Futa, and Yasunari Shidama. Implicit function theorem. Part I. Formalized Mathematics , 25( 4 ):269–281, 2017. doi:10.1515/forma-2017-0026. [5] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [6] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann, 1997. [7] Laurent Schwartz. Calcul différentiel, tome 2. Analyse . Hermann, 1997. [8] Yasunari Shidama. Banach

Open access
Bilinear Operators on Normed Linear Spaces

Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [7] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann, 1997. [8] Laurent Schwartz. Calcul différentiel, tome 2. Analyse . Hermann, 1997. [9] Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics , 12( 1 ):39–48, 2004. [10] Yasumasa Suzuki, Noboru Endou, and Yasunari Shidama. Banach space of absolute summable real sequences. Formalized Mathematics

Open access
Implicit Function Theorem. Part II

functions on normed linear spaces. Formalized Mathematics , 12( 3 ):269–275, 2004. [8] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [9] Hideki Sakurai, Hiroyuki Okazaki, and Yasunari Shidama. Banach’s continuous inverse theorem and closed graph theorem. Formalized Mathematics , 20( 4 ):271–274, 2012. doi:10.2478/v10037-012-0032-y. [10] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann

Open access