REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2013, Volume 21, 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/3694
    Tytuł: Isometric Differentiable Functions on Real Normed Space
    Autorzy: Futa, Yuichi
    Endou, Noboru
    Shidama, Yasunari
    Słowa kluczowe: isometric differentiable function
    Data wydania: 2013
    Data dodania: 9-gru-2015
    Wydawca: De Gruyter Open
    Źródło: Formalized Mathematics, Volume 21, Issue 4, 2013, Pages 249-260
    Abstrakt: In this article, we formalize isometric differentiable functions on real normed space [17], and their properties.
    Afiliacja: Futa Yuichi - Japan Advanced Institute of Science and Technology Ishikawa, Japan
    Endou Noboru - Gifu National College of Technology Gifu, Japan
    Shidama Yasunari - Shinshu University Nagano, Japan
    URI: http://hdl.handle.net/11320/3694
    DOI: 10.2478/forma-2013-0027
    ISSN: 1426-2630
    1898-9934
    Typ Dokumentu: Article
    Występuje w kolekcji(ach):Formalized Mathematics, 2013, Volume 21, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    forma-2013-0027.pdf266,09 kBAdobe PDFOtwórz
    Pokaż pełny widok rekordu Zobacz statystyki


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