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, 2024, Volume 32, Issue 1 : [24]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Elementary Number Theory Problems. Part XIII
      Artur Korniłowicz, Rafał Ziobro
    2. Integral of Continuous Three Variable Functions
      Noboru Endou oraz Yasunari Shidama
    3. Separable Polynomials and Separable Extensions
      Christoph Schwarzweller
    4. Elementary Number Theory Problems. Part XIV– Diophantine Equations
      Artur Korniłowicz
    5. Inverse Element for Surreal Number
      Karol Pąk
    6. U-Small and U-Locally Small Categories
      Roland Coghetto
    7. Elementary Number Theory Problems. Part XV – Diophantine Equations
      Karol Pąk, Artur Korniłowicz
    8. Formal Proof of Transcendence of the Number e. Part I
      Yasushige Watase
    9. Formal Proof of Transcendence of the Number e. Part II
      Yasushige Watase
    10. Formalization of Orthogonal Complements of Normed Spaces
      Hiroyuki Okazaki
    11. Ascoli-Arzel`a Theorem (Metric Space Version)
      Keiichi Miyajima, Hiroshi Yamazaki
    12. Universality of Measure Space
      Yasunari Shidama, Noboru Endou
    13. Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
      Kazuhisa Nakasho, Yasunari Shidama
    14. About Path and Cycle Graphs
      Sebastian Koch
    15. Classical Isoperimetric Theorem
      Kazuhisa Nakasho, Yasunari Shidama
    16. On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
      Kazuhisa Nakasho, Yasunari Shidama
    17. Elementary Number Theory Problems. Part XVI
      Karol Pąk
    18. Fundamentals of Finitary Proofs
      Taneli Huuskonen
    19. Some Standard Examples of Vector Spaces
      Christoph Schwarzweller, Agnieszka Rowińska-Schwarzweller
    20. Pascal’s Triangle and Lucas’s Theorem
      Rafał Ziobro
    21. Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
      Kazuhisa Nakasho, Yasunari Shidama
    22. Formalization of Trellises and Tolerance Relations
      Adam Grabowski, Franciszek Turowski
    23. Some Number Relations
      Sebastian Koch
    24. Finite Fields
      Christoph Schwarzweller

    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 20 z 24
     Dalej >
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2024Finite FieldsSchwarzweller, Christoph--
    2024Some Number RelationsKoch, Sebastian--
    2024Formalization of Trellises and Tolerance RelationsGrabowski, Adam; Turowski, Franciszek--
    2024Higher-Order Differentiation and Inverse Function Theorem in Real Normed SpacesNakasho, Kazuhisa; Shidama, Yasunari--
    2024Pascal’s Triangle and Lucas’s TheoremZiobro, Rafał--
    2024Some Standard Examples of Vector SpacesSchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
    2024Fundamentals of Finitary ProofsHuuskonen, Taneli--
    2024Elementary Number Theory Problems. Part XVIPąk, Karol--
    2024On the Properties of Curves and Parametrization-Independent Isoperimetric InequalityNakasho, Kazuhisa; Shidama, Yasunari--
    2024Classical Isoperimetric TheoremNakasho, Kazuhisa; Shidama, Yasunari--
    2024About Path and Cycle GraphsKoch, Sebastian--
    2024Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed SpacesNakasho, Kazuhisa; Shidama, Yasunari--
    2024Formalization of Orthogonal Complements of Normed SpacesOkazaki, Hiroyuki--
    2024Universality of Measure SpaceEndou, Noboru; Shidama, Yasunari--
    2024Ascoli-Arzel`a Theorem (Metric Space Version)Miyajima, Keiichi; Yamazaki, Hiroshi--
    2024Formal Proof of Transcendence of the Number e. Part IIWatase, Yasushige--
    2024Formal Proof of Transcendence of the Number e. Part IWatase, Yasushige--
    2024Elementary Number Theory Problems. Part XV – Diophantine EquationsPąk, Karol; Korniłowicz, Artur--
    2024U-Small and U-Locally Small CategoriesCoghetto, Roland--
    2024Inverse Element for Surreal NumberPąk, Karol--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 24
     Dalej >

    Odkryj