REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2012, Volume 20, Issue 4

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3655
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorMiyajima, Keiichi-
    dc.contributor.authorKorniłowicz, Artur-
    dc.contributor.authorShidama, Yasunari-
    dc.date.accessioned2015-12-06T19:06:09Z-
    dc.date.available2015-12-06T19:06:09Z-
    dc.date.issued2012-
    dc.identifier.citationFormalized Mathematics, Volume 20, Issue 4, 2012, Pages 291-301-
    dc.identifier.issn1426-2630-
    dc.identifier.issn1898-9934-
    dc.identifier.urihttp://hdl.handle.net/11320/3655-
    dc.descriptionWe would like to express our gratitude to Prof. Yatsuka Nakamura.-
    dc.description.abstractIn 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].-
    dc.description.sponsorshipArtur Korniłowicz - My work has been supported by the Polish Ministry of Science and Higher Education project “Managing a Large Repository of Computer-verified Mathematical Knowledge” (N N519 385136).-
    dc.description.sponsorshipYasunari Shidama - My work has been supported by JSPS KAKENHI 22300285.-
    dc.language.isoen-
    dc.publisherDe Gruyter Open-
    dc.titleContracting Mapping on Normed Linear Space-
    dc.typeArticle-
    dc.identifier.doi10.2478/v10037-012-0035-8-
    dc.description.AffiliationMiyajima Keiichi - Ibaraki University Faculty of Engineering, Hitachi, Japan-
    dc.description.AffiliationKorniłowicz Artur - Institute of Informatics, University of Białystok, Sosnowa 64, 15-887 Białystok Poland-
    dc.description.AffiliationShidama Yasunari - Shinshu University, Nagano, Japan-
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.-
    dc.description.referencesJózef Białas. Properties of the intervals of real numbers. Formalized Mathematics, 3(2):263-269, 1992.-
    dc.description.referencesCzesław Bylinski. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.-
    dc.description.referencesCzesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.-
    dc.description.referencesCzesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.-
    dc.description.referencesCzesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.-
    dc.description.referencesCzesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.-
    dc.description.referencesAgata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.-
    dc.description.referencesNoboru Endou and Yasunari Shidama. Completeness of the real Euclidean space. Formalized Mathematics, 13(4):577-580, 2005.-
    dc.description.referencesNoboru Endou, Yasunari Shidama, and Keiichi Miyajima. Partial differentiation on normed linear spaces Rn. Formalized Mathematics, 15(2):65-72, 2007, doi:10.2478/v10037-007-0008-5.-
    dc.description.referencesNoboru Endou, Yasumasa Suzuki, and Yasunari Shidama. Real linear space of real sequences. Formalized Mathematics, 11(3):249-253, 2003.-
    dc.description.referencesNoboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281-284, 2001.-
    dc.description.referencesAndrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5):841-845, 1990.-
    dc.description.referencesArtur Korniłowicz. Arithmetic operations on functions from sets into functional sets. Formalized Mathematics, 17(1):43-60, 2009, doi:10.2478/v10037-009-0005-y.-
    dc.description.referencesRafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887-890, 1990.-
    dc.description.referencesKeiichi Miyajima, Takahiro Kato, and Yasunari Shidama. Riemann integral of functions from R into real normed space. Formalized Mathematics, 19(1):17-22, 2011, doi: 10.2478/v10037-011-0003-8.-
    dc.description.referencesKeiichi Miyajima, Artur Korniłowicz, and Yasunari Shidama. Riemann integral of functions from R into n-dimensional real normed space. Formalized Mathematics, 20(1):79-86, 2012, doi: 10.2478/v10037-012-0011-3.-
    dc.description.referencesKeiichi Miyajima and Yasunari Shidama. Riemann integral of functions from R into Rn. Formalized Mathematics, 17(2):179-185, 2009, doi: 10.2478/v10037-009-0021-y.-
    dc.description.referencesKeiko Narita, Artur Kornilowicz, and Yasunari Shidama. More on the continuity of real functions. Formalized Mathematics, 19(4):233-239, 2011, doi: 10.2478/v10037-011-0032-3.-
    dc.description.referencesAdam Naumowicz. Conjugate sequences, bounded complex sequences and convergent complex sequences. Formalized Mathematics, 6(2):265-268, 1997.-
    dc.description.referencesTakaya Nishiyama, Artur Korniłowicz, and Yasunari Shidama. The uniform continuity of functions on normed linear spaces. Formalized Mathematics, 12(3):277-279, 2004.-
    dc.description.referencesTakaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics, 12(3):269-275, 2004.-
    dc.description.referencesHiroyuki Okazaki, Noboru Endou, Keiko Narita, and Yasunari Shidama. Differentiable functions into real normed spaces. Formalized Mathematics, 19(2):69-72, 2011, doi: 10.2478/v10037-011-0012-7.-
    dc.description.referencesHiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. More on continuous functions on normed linear spaces. Formalized Mathematics, 19(1):45-49, 2011, doi: 10.2478/v10037-011-0008-3.-
    dc.description.referencesJan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.-
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.-
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.-
    dc.description.referencesPiotr Rudnicki and Andrzej Trybulec. Abian’s fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.-
    dc.description.referencesLaurent Schwartz. Cours d’analyse II, Ch. 5. HERMANN, Paris, 1967. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000271006300001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=b7bc2757938ac7a7a821505f8243d9f3-
    dc.description.referencesYasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics, 12(1):39-48, 2004.-
    dc.description.referencesYasumasa Suzuki. Banach space of bounded real sequences. Formalized Mathematics, 12(2):77-83, 2004.-
    dc.description.referencesAndrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329-334, 1990.-
    dc.description.referencesAndrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.-
    dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.-
    dc.description.referencesWojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space. Formalized Mathematics, 1(2):297-301, 1990.-
    dc.description.referencesWojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.-
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.-
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.-
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.-
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    Formalized Mathematics, 2012, Volume 20, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    v10037-012-0035-8.pdf311,24 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons