- How to make constrained fuzzy arithmetic efficient2001 | Matematicko-fyzikální fakulta
- Aritmetika a krabičky2019 | Matematicko-fyzikální fakulta
- Relatives of Robinson Arithmetic2009 | Filozofická fakulta
- Jazyky aritmetiky2008 | Matematicko-fyzikální fakulta, Pedagogická fakulta
- Jazyky aritmetiky2008 | Matematicko-fyzikální fakulta
- Roznásobování závorek v aritmetice2022 | Pedagogická fakulta
- Základy aritmetiky a algebry2012 | Matematicko-fyzikální fakulta
- Diskrepance součtů tří aritmetických posloupností2006 | Matematicko-fyzikální fakulta
- The Intuitionistic Robinson Arithmetic(s)2015 | Filozofická fakulta
- Úlehlovy početnice2012 | Matematicko-fyzikální fakulta
- Od aritmetiky k algebře na 2. stupni ZŠ2019 | Pedagogická fakulta
- Fregovo pojetí aplikace aritmetiky2015 | Publikace bez příslušnosti k fakultě
- Schéma triády – klíč k porozumění aritmetice2007 | Matematicko-fyzikální fakulta
- Aritmetické posloupnosti prvočísel2006 | Matematicko-fyzikální fakulta
- Prostředí napomáhající budování aritmetických schémat2007 | Matematicko-fyzikální fakulta
- How to teach and assess whole number arithmetic +22015 | Pedagogická fakulta
- Matematické projekty v České republice: Zúžená aritmetika2005 | Ústřední knihovna
- Řešení multiplikativních rovnic v konečné aritmetické struktuře2005 | Ústřední knihovna
- Struktura podmodelů - Diagonální nerozlišitelnost v modelech aritmetiky +12007 | Matematicko-fyzikální fakulta
- Aritmetické posloupnosti vyšších řádů v úlohách MMO2006 | Matematicko-fyzikální fakulta
- The unary arithmetical algorithm in bimodular number systems2013 | Publikace bez příslušnosti k fakultě
- Exact real arithmetic for interval number systems2014 | Publikace bez příslušnosti k fakultě
- Konečná aritmetická struktura jako most k pokročilé matematice2006 | Matematicko-fyzikální fakulta
- Interpretace Robinsonovy aritmetiky v její Grzegorczykově slabší variantě2007 | Filozofická fakulta
- NP vyhledávací problémy ve slabých fragmentech omezené aritmetiky2007 | Matematicko-fyzikální fakulta
- ATest - An Online Tool to Solve Arithmetic Constructions2019 | Matematicko-fyzikální fakulta
- Fast Arithmetical Algorithms in Mobius Number Systems2012 | Publikace bez příslušnosti k fakultě