Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-7 z 7 (Czas wyszukiwania: 0.002 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2023 | The Ring of Conway Numbers in Mizar | Pąk, Karol | - | - |
| 2023 | Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers | Pąk, Karol | - | - |
| 2023 | Conway Numbers – Formal Introduction | Pąk, Karol | - | - |
| 2024 | Inverse Element for Surreal Number | Pąk, Karol | - | - |
| 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 | - | - |
Odkryj
Temat
Posiada pliki pozycji
- 7 true
