- Seismic ray theory2010 | Matematicko-fyzikální fakulta
- Rádi-li se bojíte, kupte si nového Theorina : Johan Theorin: Smršť2012 | Filozofická fakulta
- 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
- O větě Brooksova typu pro nepravé barvení2009 | Matematicko-fyzikální fakulta
- Experimenting with Machine Learning in Automated Theorem Proving1999 | Matematicko-fyzikální fakulta
- Fairness in risky environments: theory and evidence2010 | Fakulta sociálních věd, Matematicko-fyzikální fakulta, Centrum pro ekonomický výzkum a doktorské studium, Ústřední knihovna
- Dvě opomíjené planimetrické věty2016 | Matematicko-fyzikální fakulta
- A theorem for an axiomatic approach to metric properties of graphs2000 | Filozofická fakulta
- Weierstrassova věta o aproximaci2002 | Publikace bez příslušnosti k fakultě
- Vliv Vorwissen, Vorverständnis a hunch theory na rozhodování soudců2012 | Matematicko-fyzikální fakulta
- On Language Levels of a Theory2003 | 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