- Seismic ray theory2010 | Faculty of Mathematics and Physics
- If you like being scared, you can buy a new Theorin : Johan Theorin: Night Blizzard2012 | Faculty of Arts
- Applications: theorem of Ceva, theorem of Menelaus and theorem of Routh2016 | Faculty of Mathematics and Physics
- Brooks' Theorem via Alon-Tarsi Theorem2010 | Faculty of Mathematics and Physics
- On Ito theorem2006 | Faculty of Mathematics and Physics
- About a Brooks-type theorem for improper colouring2009 | Faculty of Mathematics and Physics
- Experimenting with Machine Learning in Automated Theorem Proving1999 | Faculty of Mathematics and Physics
- Fairness in risky environments: theory and evidence2010 | Faculty of Social Sciences, Faculty of Mathematics and Physics, Centre for Economic Research and Graduate Education, Central Library of Charles University
- Two neglected planimetric theorems2016 | Faculty of Mathematics and Physics
- A theorem for an axiomatic approach to metric properties of graphs2000 | Faculty of Arts
- Weierstrass's approximation theorem2002 | Publication without faculty affiliation
- The Impact of Vorwissen, Vorverständnis and Hunch Theory on the Decison-making of Judges2012 | Faculty of Mathematics and Physics
- On Language Levels of a Theory2003 | Publication without faculty affiliation
- The hamburger theorem2018 | Faculty of Mathematics and Physics
- A remark on a theorem of Solecki2005 | Faculty of Mathematics and Physics
- Imbedding Theorems and Domains2015 | Faculty of Mathematics and Physics
- The Philosophical Significance of Gödel's Theorem2006 | Faculty of Arts
- Notes on the equivalence of mathematical theorems2011 | Faculty of Mathematics and Physics
- Three proofs of Morley's theorem2016 | Faculty of Mathematics and Physics
- A shifty approach to little theorems2023 | Faculty of Mathematics and Physics
- Non-projective problems of the Chasles theorem2016 | Faculty of Mathematics and Physics
- Non-Equivalence of Some Implicational Deduction Theorems2010 | Faculty of Arts
- Limit of a sequence and the squeeze theorem2012 | Faculty of Mathematics and Physics
- Pach's Selection Theorem Does Not Admit a Topological Extension2018 | Faculty of Mathematics and Physics
- A Geometric Proof of the Colored Tverberg Theorem2012 | Faculty of Mathematics and Physics
- Pythagoras theorem in primary school2006 | Faculty of Mathematics and Physics
- A simplified proof Moufang's theorem2011 | Faculty of Mathematics and Physics
- Higher-order Erdos-Szekeres theorems2012 | Faculty of Mathematics and Physics
- Automated Theorem Proving in Loop Theory2008 | Faculty of Mathematics and Physics
- A factorisation approach to Bates's theorem2020 | Faculty of Mathematics and Physics