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, 2025, Volume 33, Issue 1 : [20]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Surreal Numbers: A Study of Square Roots
      Karol Pąk
    2. Surreal Dyadic and Real Numbers: A Formal Construction
      Karol Pąk
    3. Conway’s Normal Form in the Mizar System
      Karol Pąk
    4. Free Product of Groups
      Sebastian Koch
    5. Extensions of Languages in Polish Notation
      Taneli Huuskonen
    6. Semidirect Products of Groups
      Alexander M. Nelson
    7. Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
      Yasushige Watase
    8. A Formal Proof of Stirling’s Formula
      Yasushige Watase
    9. Higher Order Partial Differentiable Functions
      Kazuhisa Nakasho, Yasunari Shidama
    10. Measure for Product Space of Real Normed Spaces
      Yasunari Shidama, Noboru Endou
    11. Triangular Fuzzy Set Composed of Two Intersecting Affine Maps
      Takashi Mitsuishi
    12. Elementary Number Theory Problems. Part XVII
      Artur Korniłowicz, Adam Naumowicz
    13. The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory
      Christoph Schwarzweller, Agnieszka Rowińska-Schwarzweller
    14. Introduction to Galois Theory
      Christoph Schwarzweller, Agnieszka Rowińska-Schwarzweller
    15. Integrability of Multivariable Continuous Functions
      Yasunari Shidama, Noboru Endou
    16. Application of Complex Classes to Number Theory
      Rafał Ziobro
    17. Elementary Number Theory Problems. Part XVIII
      Adam Grabowski
    18. Formalization of Separable Version of Banach–Alaoglu Theorem
      Hiroyuki Okazaki, Takehiko Mieno
    19. Characterization of Finite Galois Extensions
      Christoph Schwarzweller
    20. Elementary Number Theory Problems. Part XIX
      Karol Pąk

    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 20
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2025Elementary Number Theory Problems. Part XIXPąk, Karol--
    2025Characterization of Finite Galois ExtensionsSchwarzweller, Christoph--
    2025Formalization of Separable Version of Banach–Alaoglu TheoremOkazaki, Hiroyuki; Mieno, Takehiko--
    2025Elementary Number Theory Problems. Part XVIIIGrabowski, Adam--
    2025Application of Complex Classes to Number TheoryZiobro, Rafał--
    2025Integrability of Multivariable Continuous FunctionsEndou, Noboru; Shidama, Yasunari--
    2025Introduction to Galois TheorySchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
    2025The Lattice of Intermediate Fields and Other Preliminaries to Galois TheorySchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
    2025Elementary Number Theory Problems. Part XVIIKorniłowicz, Artur; Naumowicz, Adam--
    2025Triangular Fuzzy Set Composed of Two Intersecting Affine MapsMitsuishi, Takashi--
    2025Measure for Product Space of Real Normed SpacesEndou, Noboru; Shidama, Yasunari--
    2025Higher Order Partial Differentiable FunctionsNakasho, Kazuhisa; Shidama, Yasunari--
    2025A Formal Proof of Stirling’s FormulaWatase, Yasushige--
    2025Formalization of Wallis Infinite Product Formula for π and the Wallis IntegralWatase, Yasushige--
    2025Semidirect Products of GroupsNelson, Alexander M.--
    2025Extensions of Languages in Polish NotationHuuskonen, Taneli--
    2025Free Product of GroupsKoch, Sebastian--
    2025Conway’s Normal Form in the Mizar SystemPąk, Karol--
    2025Surreal Dyadic and Real Numbers: A Formal ConstructionPąk, Karol--
    2025Surreal Numbers: A Study of Square RootsPąk, Karol--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 20

    Odkryj