Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2019 | AIM Loops and the AIM Conjecture | Brown, Chad E.; Pąk, Karol | - | - |
2020 | Grothendieck Universes | Pąk, Karol | - | - |
2021 | Prime Representing Polynomial | Pąk, Karol | - | - |
2022 | Prime Representing Polynomial with 10 Unknowns – Introduction | Pąk, Karol | - | - |
2022 | Prime Representing Polynomial with 10 Unknowns – Introduction. Part II | Pąk, Karol | - | - |
2022 | Prime Representing Polynomial with 10 Unknowns | Pąk, Karol | - | - |
2023 | The Ring of Conway Numbers in Mizar | Pąk, Karol | - | - |
2023 | Conway Numbers – Formal Introduction | Pąk, Karol | - | - |
2023 | Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers | Pąk, Karol | - | - |