REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 511-515 z 515 (Czas wyszukiwania: 0.002 sekund).
Odsłon kolekcji:
Nazwa kolekcji
Formalized Mathematics, 2025, Volume 33, Issue 1
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2025Surreal Dyadic and Real Numbers: A Formal ConstructionPąk, Karol--
2025Conway’s Normal Form in the Mizar SystemPąk, Karol--
2025Surreal Numbers: A Study of Square RootsPąk, Karol--
2025Free Product of GroupsKoch, Sebastian--