Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 461-470 z 531 (Czas wyszukiwania: 0.002 sekund).
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2025 | Application of Complex Classes to Number Theory | Ziobro, Rafał | - | - |
| 2025 | The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory | Schwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka | - | - |
| 2025 | Formalization of Separable Version of Banach–Alaoglu Theorem | Okazaki, Hiroyuki; Mieno, Takehiko | - | - |
| 2025 | Introduction to Galois Theory | Schwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka | - | - |
| 2025 | Characterization of Finite Galois Extensions | Schwarzweller, Christoph | - | - |
| 2025 | Surreal Dyadic and Real Numbers: A Formal Construction | Pąk, Karol | - | - |
| 2025 | Conway’s Normal Form in the Mizar System | Pąk, Karol | - | - |
| 2025 | Surreal Numbers: A Study of Square Roots | Pąk, Karol | - | - |
| 2025 | Elementary Number Theory Problems. Part XVII | Korniłowicz, Artur; Naumowicz, Adam | - | - |
| 2025 | Elementary Number Theory Problems. Part XVIII | Grabowski, Adam | - | - |
