REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Rozpocznij nowe wyszukiwanie
Dodaj filtr:

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


Rezultaty 461-470 z 531 (Czas wyszukiwania: 0.002 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2025Application of Complex Classes to Number TheoryZiobro, Rafał--
2025The Lattice of Intermediate Fields and Other Preliminaries to Galois TheorySchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
2025Formalization of Separable Version of Banach–Alaoglu TheoremOkazaki, Hiroyuki; Mieno, Takehiko--
2025Introduction to Galois TheorySchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
2025Characterization of Finite Galois ExtensionsSchwarzweller, Christoph--
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--
2025Elementary Number Theory Problems. Part XVIIKorniłowicz, Artur; Naumowicz, Adam--
2025Elementary Number Theory Problems. Part XVIIIGrabowski, Adam--