- 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
- Two neglected planimetric theorems2016 | Faculty of Mathematics and Physics
- Weierstrass's approximation theorem2002 | 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
- Unified Hanani-Tutte theorem2017 | Faculty of Mathematics and Physics
- Birkhoff's variety theorem with and without free algebras2005 | Faculty of Mathematics and Physics
- On Stepanov type differentiability theorems2015 | Faculty of Mathematics and Physics
- Axiom $T_D$ and the Simmons sublocale theorem2019 | Faculty of Mathematics and Physics
- Smoothness via directional smoothness and Marchaud's theorem in Banach spaces2015 | Faculty of Mathematics and Physics
- The Weak Inverse Mapping Theorem2015 | Faculty of Mathematics and Physics
- Simulation Theorems via Pseudo-random Properties2019 | Faculty of Mathematics and Physics
- Logicism and the Recursion Theorem2007 | Faculty of Arts