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): 21 do 27 z 27
    < Porzedni 
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2023Introduction to Algebraic GeometryWatase, Yasushige--
    2023Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid MethodMitsuishi, Takashi--
    2023On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of VectorsOkazaki, Hiroyuki--
    2023Introduction to Graph EnumerationsKoch, Sebastian--
    2023Elementary Number Theory Problems. Part VIIKorniłowicz, Artur--
    2023Differentiation on IntervalEndou, Noboru--
    2023On Bag of 1. Part IWatase, Yasushige--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 21 do 27 z 27
    < Porzedni 

    Odkryj