1. bookTom 25 (2017): Zeszyt 4 (December 2017)
Informacje o czasopiśmie
License
Format
Czasopismo
eISSN
1898-9934
ISSN
1426-2630
Pierwsze wydanie
09 Jun 2008
Częstotliwość wydawania
4 razy w roku
Języki
Angielski
Otwarty dostęp

Implicit Function Theorem. Part I

Data publikacji: 28 Mar 2018
Tom & Zeszyt: Tom 25 (2017) - Zeszyt 4 (December 2017)
Zakres stron: 269 - 281
Otrzymano: 29 Nov 2017
Informacje o czasopiśmie
License
Format
Czasopismo
eISSN
1898-9934
ISSN
1426-2630
Pierwsze wydanie
09 Jun 2008
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

[1] Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261-279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi: 10.1007/978-3-319-20615-8 17.10.1007/978-3-319-20615-817Otwórz DOISearch in Google Scholar

[2] Bruce K. Driver. Analysis Tools with Applications. Springer, Berlin, 2003.Search in Google Scholar

[3] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191-198, 2015. doi: 10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1Otwórz DOISearch in Google Scholar

[4] Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics, 12(3):269-275, 2004.Search in Google Scholar

[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.10.2478/v10037-011-0009-2Otwórz DOISearch in Google Scholar

[6] 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.2478/v10037-012-0032-yOtwórz DOISearch in Google Scholar

[7] Laurent Schwartz. Th´eorie des ensembles et topologie, tome 1. Analyse. Hermann, 1997.Search in Google Scholar

[8] Laurent Schwartz. Calcul diff´erentiel, tome 2. Analyse. Hermann, 1997.Search in Google Scholar

[9] Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics, 12(1):39-48, 2004.Search in Google Scholar

Polecane artykuły z Trend MD

Zaplanuj zdalną konferencję ze Sciendo