REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics

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



    • Formalized Mathematics, 2010, Volume 18, Issue 1 : [13]
    Strona glówna kolekcji Zobacz statystyki

    Spis treści/Content

    1. Liang, Xiquan / Zhao, Piqing / Bai, Ou
      Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces
    2. Kanazashi, Katuhiko / Endou, Noboru / Shidama, Yasunari
      Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
    3. Riccardi, Marco
      Free Magmas
    4. Li, Bo / Ma, Na
      Integrability Formulas. Part I
    5. Inoué, Takao / Xie, Bing / Liang, Xiquan
      Partial Differentiation of Real Ternary Functions
    6. Ishida, Kazuhisa / Shidama, Yasunari
      Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
    7. Li, Dailu / Liang, Xiquan / Men, Yanhong
      Nilpotent Groups
    8. Liang, Xiquan / Tang, Ling
      Difference and Difference Quotient. Part III
    9. Bancerek, Grzegorz
      A Model of Mizar Concepts - Unification
    10. Jastrzębska, Magdalena
      Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
    11. Korniłowicz, Artur
      The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines
    12. Pąk, Karol
      Affine Independence in Vector Spaces
    13. Pąk, Karol
      Abstract Simplicial Complexes

    Przeglądaj
    Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach. RSS Feed RSS Feed RSS Feed
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 13 z 13
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2010Affine Independence in Vector SpacesPąk, Karol--
    2010Abstract Simplicial ComplexesPąk, Karol--
    2010Fixpoint Theorem for Continuous Functions on Chain-Complete PosetsIshida, Kazuhisa; Shidama, Yasunari--
    2010A Model of Mizar Concepts - UnificationBancerek, Grzegorz--
    2010Nilpotent GroupsLi, Dailu; Liang, Xiquan; Men, Yanhong--
    2010Representation of the Fibonacci and Lucas Numbers in Terms of Floor and CeilingJastrzębska, Magdalena--
    2010Difference and Difference Quotient. Part IIILiang, Xiquan; Tang, Ling--
    2010The Correspondence Between n-dimensional Euclidean Space and the Product of n Real LinesKorniłowicz, Artur--
    2010Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean SpacesLiang, Xiquan; Zhao, Piqing; Bai, Ou--
    2010Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded SupportKanazashi, Katuhiko; Endou, Noboru; Shidama, Yasunari--
    2010Free MagmasRiccardi, Marco--
    2010Partial Differentiation of Real Ternary FunctionsInoué, Takao; Xie, Bing; Liang, Xiquan--
    2010Integrability Formulas. Part ILi, Bo; Ma, Na--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 13 z 13

    Odkryj