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, 2008, Volume 16, Issue 2 : [15]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Helly Property for Subtrees
      Jessica Enright, Piotr Rudnicki
    2. Heron’s Formula and Ptolemy’s Theorem
      Marco Riccardi
    3. Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ
      Hiroyuki Okazaki, Yasunari Shidama
    4. Ideals of BCI-algebras and their Properties
      Chenglong Wu, Yuzhong Ding
    5. Banach Algebra of Bounded Functionals
      Yasunari Shidama, Hikofumi Suzuki, Noboru Endou
    6. Convex Sets and Convex Combinations on Complex Linear Spaces
      Hidenori Matsuzaki, Noboru Endou, Yasunari Shidama
    7. Inner Products, Group, Ring of Quaternion Numbers
      Fuguo Ge
    8. Several Higher Differentiation Formulas of Special Functions
      Junjie Zhao, Xiquan Liang, Li Yan
    9. Inverse Trigonometric Functions Arctan and Arccot
      Xiquan Liang, Bing Xie
    10. Inverse Trigonometric Functions Arcsec and Arccosec
      Bing Xie, Xiquan Liang, Fuguo Ge
    11. The Lebesgue Monotone Convergence Theorem
      Noboru Endou, Keiko Narita, Yasunari Shidama
    12. Mizar Analysis of Algorithms: Algorithms over Integers
      Grzegorz Bancerek
    13. Invertibility of Matrices of Field Elements
      Yatsuka Nakamura, Kunio Oniumi, Wenpai Chang
    14. Ramsey’s Theorem
      Marco Riccardi
    15. Towards the Construction of a Model of Mizar Concepts
      Grzegorz Bancerek

    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 15 z 15
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2008Towards the Construction of a Model of Mizar ConceptsBancerek, Grzegorz--
    2008Ramsey’s TheoremRiccardi, Marco--
    2008Invertibility of Matrices of Field ElementsNakamura, Yatsuka; Oniumi, Kunio; Chang, Wenpai--
    2008Mizar Analysis of Algorithms: Algorithms over IntegersBancerek, Grzegorz--
    2008The Lebesgue Monotone Convergence TheoremEndou, Noboru; Narita, Keiko; Shidama, Yasunari--
    2008Inverse Trigonometric Functions Arcsec and ArccosecXie, Bing; Liang, Xiquan; Ge, Fuguo--
    2008Inverse Trigonometric Functions Arctan and ArccotLiang, Xiquan; Xie, Bing--
    2008Several Higher Differentiation Formulas of Special FunctionsZhao, Junjie; Liang, Xiquan; Yan, Li--
    2008Inner Products, Group, Ring of Quaternion NumbersGe, Fuguo--
    2008Convex Sets and Convex Combinations on Complex Linear SpacesMatsuzaki, Hidenori; Endou, Noboru; Shidama, Yasunari--
    2008Banach Algebra of Bounded FunctionalsShidama, Yasunari; Suzuki, Hikofumi; Endou, Noboru--
    2008Ideals of BCI-algebras and their PropertiesWu, Chenglong; Ding, Yuzhong--
    2008Uniqueness of Factoring an Integer and Multiplicative Group Z/pZOkazaki, Hiroyuki; Shidama, Yasunari--
    2008Heron’s Formula and Ptolemy’s TheoremRiccardi, Marco--
    2008Helly Property for SubtreesEnright, Jessica; Rudnicki, Piotr--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 15 z 15

    Odkryj