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): 21 do 24 z 24
    < Porzedni 
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2024Elementary Number Theory Problems. Part XIV– Diophantine EquationsKorniłowicz, Artur--
    2024Separable Polynomials and Separable ExtensionsSchwarzweller, Christoph--
    2024Integral of Continuous Three Variable FunctionsEndou, Noboru; Shidama, Yasunari--
    2024Elementary Number Theory Problems. Part XIIIKorniłowicz, Artur; Ziobro, Rafał--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 21 do 24 z 24
    < Porzedni 

    Odkryj