References in zbMATH (referenced in 43 articles )

Showing results 1 to 20 of 43.
Sorted by year (citations)

1 2 3 next

  1. Neumann, Eike: On the computability of the set of automorphisms of the unit square (2022)
  2. Cai, Zhaodong; Faust, Matthew; Hildebrand, A. J.; Li, Junxian; Zhang, Yuan: Leading digits of Mersenne numbers (2021)
  3. Schröder, Matthias: Admissibly represented spaces and qcb-spaces (2021)
  4. Selivanova, Svetlana; Steinberg, Florian; Thies, Holger; Ziegler, Martin: Exact real computation of solution operators for linear analytic systems of partial differential equations (2021)
  5. Moniri, Mojtaba; Moniri, Saman: Limit cycles and their period detection via numeric and symbolic hybrid computations (2020)
  6. Neumann, Eike; Steinberg, Florian: Parametrised second-order complexity theory with applications to the study of interval computation (2020)
  7. Rösnick-Neugebauer, Carsten: Closed sets and operators thereon: representations, computability and complexity (2018)
  8. Brauße, Franz; Korovina, Margarita; Müller, Norbert: Using Taylor models in exact real arithmetic (2016)
  9. Brauße, Franz; Korovina, Margarita; Müller, Norbert Th.: Towards using exact real arithmetic for initial value problems (2016)
  10. Kawabata, Hideyuki; Iwasaki, Hideya: Improving floating-point numbers: a lazy approach to adaptive accuracy refinement for numerical computations (2016)
  11. Duracz, Jan; Farjudian, Amin; Konečný, Michal; Taha, Walid: Function interval arithmetic (2014)
  12. Hertling, Peter; Spandl, Christoph: Computing a solution of Feigenbaum’s functional equation in polynomial time (2014)
  13. Müller, Norbert; Ziegler, Martin: From calculus to algorithms without errors (2014)
  14. Sugiyama, Mahito; Hirowatari, Eiju; Tsuiki, Hideki; Yamamoto, Akihiro: Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (2013)
  15. Lester, David R.: The world’s shortest correct exact real arithmetic program? (2012)
  16. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  17. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  18. Farjudian, Amin: On the Kolmogorov complexity of continuous real functions (2011)
  19. Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri: Exact exploration and hanging algorithms (2010)
  20. Müller, Norbert Th.; Korovina, Margarita: Making big steps in trajectories (2010)

1 2 3 next