W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2020 | Grothendieck Universes | Pąk, Karol | - | - |
| 2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
| 2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
| 2016 | Leibniz Series for π | Pąk, Karol | - | - |
| 2018 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
| 2019 | AIM Loops and the AIM Conjecture | Brown, Chad E.; Pąk, Karol | - | - |
| 2011 | Brouwer Fixed Point Theorem in the General Case | Pąk, Karol | - | - |
| 2021 | Prime Representing Polynomial | Pąk, Karol | - | - |
| 2015 | Euler’s Partition Theorem | Pąk, Karol | - | - |
| 2015 | Flexary Operations | Pąk, Karol | - | - |