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, 2023, Volume 31, Issue 1 : [27]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. On Bag of 1. Part I
      Yasushige Watase
    2. Differentiation on Interval
      Noboru Endou
    3. Elementary Number Theory Problems. Part VII
      Artur Korniłowicz
    4. Introduction to Graph Enumerations
      Sebastian Koch
    5. On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
      Hiroyuki Okazaki
    6. Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
      Takashi Mitsuishi
    7. Introduction to Algebraic Geometry
      Yasushige Watase
    8. About Regular Graphs
      Sebastian Koch
    9. Elementary Number Theory Problems. Part VIII
      Artur Korniłowicz
    10. Internal Direct Products and the Universal Property of Direct Product Groups
      Alexander M. Nelson
    11. Normal Extensions
      Christoph Schwarzweller
    12. Antiderivatives and Integration
      Noboru Endou
    13. Embedding Principle for Rings and Abelian Groups
      Yasushige Watase
    14. On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
      Adam Grabowski
    15. Elementary Number Theory Problems. Part IX
      Artur Korniłowicz
    16. Elementary Number Theory Problems. Part X – Diophantine Equations
      Artur Korniłowicz
    17. Multidimensional Measure Space and Integration
      Noboru Endou oraz Yasunari Shidama
    18. Conway Numbers – Formal Introduction
      Karol Pąk
    19. Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
      Karol Pąk
    20. The Ring of Conway Numbers in Mizar
      Karol Pąk
    21. Elementary Number Theory Problems. Part XI
      Adam Naumowicz
    22. Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
      Adam Grabowski
    23. Simple Extensions
      Christoph Schwarzweller oraz Agnieszka Rowińska-Schwarzweller
    24. Symmetrical Piecewise Linear Functions Composed by Absolute Value Function
      Takashi Mitsuishi
    25. Integral of Continuous Functions of Two Variables
      Noboru Endou oraz Yasunari Shidama
    26. Tarski Geometry Axioms. Part V – Half-planes and Planes
      Roland Coghetto oraz Adam Grabowski
    27. Extensions of Orderings
      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 27
     Dalej >
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2023Extensions of OrderingsSchwarzweller, Christoph--
    2023Tarski Geometry Axioms. Part V – Half-planes and PlanesCoghetto, Roland; Grabowski, Adam--
    2023Integral of Continuous Functions of Two VariablesEndou, Noboru; Shidama, Yasunari--
    2023Symmetrical Piecewise Linear Functions Composed by Absolute Value FunctionMitsuishi, Takashi--
    2023Simple ExtensionsSchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
    2023Elementary Number Theory Problems. Part XII – Primes in Arithmetic ProgressionGrabowski, Adam--
    2023Elementary Number Theory Problems. Part XINaumowicz, Adam--
    2023The Ring of Conway Numbers in MizarPąk, Karol--
    2023Integration of Game Theoretic and Tree Theoretic Approaches to Conway NumbersPąk, Karol--
    2023Conway Numbers – Formal IntroductionPąk, Karol--
    2023Multidimensional Measure Space and IntegrationEndou, Noboru; Shidama, Yasunari--
    2023Elementary Number Theory Problems. Part X – Diophantine EquationsKorniłowicz, Artur--
    2023Elementary Number Theory Problems. Part IXKorniłowicz, Artur--
    2023On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy NegationsGrabowski, Adam--
    2023Embedding Principle for Rings and Abelian GroupsWatase, Yasushige--
    2023Antiderivatives and IntegrationEndou, Noboru--
    2023Normal ExtensionsSchwarzweller, Christoph--
    2023Internal Direct Products and the Universal Property of Direct Product GroupsNelson, Alexander M.--
    2023Elementary Number Theory Problems. Part VIIIKorniłowicz, Artur--
    2023About Regular GraphsKoch, Sebastian--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 27
     Dalej >

    Odkryj