- How to make constrained fuzzy arithmetic efficient2001 | Faculty of Mathematics and Physics
- Arithmetic and Boxes2019 | Faculty of Mathematics and Physics
- Relatives of Robinson Arithmetic2009 | Faculty of Arts
- Arithmetical languages2008 | Faculty of Mathematics and Physics, Faculty of Education
- Arithmetical languages2008 | Faculty of Mathematics and Physics
- Multiplying parentheses in arithmetic2022 | Faculty of Education
- Elementary arithmetics and algebra2012 | Faculty of Mathematics and Physics
- Discrepancy of Sums of Three Arithmetic Progressions2006 | Faculty of Mathematics and Physics
- The Intuitionistic Robinson Arithmetic(s)2015 | Faculty of Arts
- Arithmetics textbooks by Josef Úlehla2012 | Faculty of Mathematics and Physics
- From arithmetic to algebra at the secondary school2019 | Faculty of Education
- Frege's conception of the application of arithmetic2015 | Publication without faculty affiliation
- Schema of triads - the key to understanding of arithmetic2007 | Faculty of Mathematics and Physics
- Arithmetical progressions of primes2006 | Faculty of Mathematics and Physics
- Environments enhancing creation of arithmetical schemata2007 | Faculty of Mathematics and Physics
- How to teach and assess whole number arithmetic +22015 | Faculty of Education
- Mathematics projects in the Czech Republic: Restricted Arithmetic2005 | Central Library of Charles University
- Solving multiplicative equations in a finite arithmetic structure2005 | Central Library of Charles University
- Structure of Submodels - Diagonal indiscernibility in Models of Arithmetic +12007 | Faculty of Mathematics and Physics
- Arithmetics Progressions of Higher Degree in Problems of IMO2006 | Faculty of Mathematics and Physics
- The unary arithmetical algorithm in bimodular number systems2013 | Publication without faculty affiliation
- Exact real arithmetic for interval number systems2014 | Publication without faculty affiliation
- Finite arithmetic structure as a bridge to advanced mathematics2006 | Faculty of Mathematics and Physics
- An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant2007 | Faculty of Arts
- NP search problems in low fragments of bounded arithmetic2007 | Faculty of Mathematics and Physics
- ATest - An Online Tool to Solve Arithmetic Constructions2019 | Faculty of Mathematics and Physics
- Fast Arithmetical Algorithms in Mobius Number Systems2012 | Publication without faculty affiliation