- Iterativní systémy reálných moebiovských transformací2009 | Publikace bez příslušnosti k fakultě
- Symbolické reprezentace kompaktních prostorůPublikace bez příslušnosti k fakultě
- Dynamics of Number Systems Computation with Arbitrary Precision2016 | Publikace bez příslušnosti k fakultě
- Symbolická representace reálné Moebiovy grupy2008 | Publikace bez příslušnosti k fakultě
- Analytic functions computable by finite state transducers2014 | Publikace bez příslušnosti k fakultě
- Reprezentace realných čísel v moebiovských číselných systémech2009 | Matematicko-fyzikální fakulta
- Exact real arithmetic for interval number systems2014 | Publikace bez příslušnosti k fakultě
- The Exact Real Arithmetical Algorithm in Binary Continued Fractions2015 | Publikace bez příslušnosti k fakultě