Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon kolekcji:
| Nazwa kolekcji |
|---|
| Formalized Mathematics, 2025, Volume 33, Issue 1 |
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 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 | Free Product of Groups | Koch, Sebastian | - | - |
