- Expanze racionálních čísel v Moebiovských číselných systémech2010 | Publikace bez příslušnosti k fakultě
- Moebiovské číselné systémy se sofickými posuny2009 | Publikace bez příslušnosti k fakultě
- Reprezentace realných čísel v moebiovských číselných systémech2009 | Matematicko-fyzikální fakulta
- Moebiovské číselné systémy založené na intervalových pokrytích2010 | Matematicko-fyzikální fakulta
- The Exact Real Arithmetical Algorithm in Binary Continued Fractions2015 | Publikace bez příslušnosti k fakultě
- Exact real algorithms for transcendent functions2016 | Publikace bez příslušnosti k fakultě
- Symbolické reprezentace kompaktních prostorůPublikace bez příslušnosti k fakultě
- Analytic functions computable by finite state transducers2014 | Publikace bez příslušnosti k fakultě