- Aplikace: věta Cevova, věta Menelaova a věta Routhova2016 | Matematicko-fyzikální fakulta
- Důkaz Brooksovy věty pomocí Alon-Tarsiho věty2010 | Matematicko-fyzikální fakulta
- O Itoově větě2006 | Matematicko-fyzikální fakulta
- Dvě opomíjené planimetrické věty2016 | Matematicko-fyzikální fakulta
- Weierstrassova věta o aproximaci2002 | Publikace bez příslušnosti k fakultě
- The hamburger theorem2018 | Matematicko-fyzikální fakulta
- Poznámka o Soleckého větě2005 | Matematicko-fyzikální fakulta
- Imbedding Theorems and Domains2015 | Matematicko-fyzikální fakulta
- Filosofický význam Gödelovy věty2006 | Filozofická fakulta
- Několik poznámek o ekvivalenci matematických vět2011 | Matematicko-fyzikální fakulta
- Tři důkazy Morleyovy věty2016 | Matematicko-fyzikální fakulta
- A shifty approach to little theorems2023 | Matematicko-fyzikální fakulta
- Non-projective problems of the Chasles theorem2016 | Matematicko-fyzikální fakulta
- Neekvivalence některých implikačních dedukčních vět2010 | Filozofická fakulta
- Limita posloupnosti a věta o sevření2012 | Matematicko-fyzikální fakulta
- Pach's Selection Theorem Does Not Admit a Topological Extension2018 | Matematicko-fyzikální fakulta
- A Geometric Proof of the Colored Tverberg Theorem2012 | Matematicko-fyzikální fakulta
- Pythagorova věta na prvním stupni ZŠ2006 | Matematicko-fyzikální fakulta
- A simplified proof Moufang's theorem2011 | Matematicko-fyzikální fakulta
- Higher-order Erdos-Szekeres theorems2012 | Matematicko-fyzikální fakulta
- Automatické dokazování vět v teorii grup2008 | Matematicko-fyzikální fakulta
- A factorisation approach to Bates's theorem2020 | Matematicko-fyzikální fakulta
- Unified Hanani-Tutte theorem2017 | Matematicko-fyzikální fakulta
- Birkhoffova věta s a bez volných algeber2005 | Matematicko-fyzikální fakulta
- On Stepanov type differentiability theorems2015 | Matematicko-fyzikální fakulta
- Axiom $T_D$ and the Simmons sublocale theorem2019 | Matematicko-fyzikální fakulta
- Smoothness via directional smoothness and Marchaud's theorem in Banach spaces2015 | Matematicko-fyzikální fakulta
- The Weak Inverse Mapping Theorem2015 | Matematicko-fyzikální fakulta
- Simulation Theorems via Pseudo-random Properties2019 | Matematicko-fyzikální fakulta
- Logicismus a rekurzivní teorém2007 | Filozofická fakulta