- Exact real arithmetic for interval number systems +12014 | Publikace bez příslušnosti k fakultě
- The Exact Real Arithmetical Algorithm in Binary Continued Fractions2015 | Publikace bez příslušnosti k fakultě
- Fast Arithmetical Algorithms in Mobius Number Systems2012 | Publikace bez příslušnosti k fakultě
- The unary arithmetical algorithm in bimodular number systems2013 | Publikace bez příslušnosti k fakultě
- Exact real algorithms for transcendent functions2016 | Publikace bez příslušnosti k fakultě