References in zbMATH (referenced in 37 articles )

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

1 2 next

  1. Neumann, Eike; Steinberg, Florian: Parametrised second-order complexity theory with applications to the study of interval computation (2020)
  2. Rösnick-Neugebauer, Carsten: Closed sets and operators thereon: representations, computability and complexity (2018)
  3. Brauße, Franz; Korovina, Margarita; Müller, Norbert: Using Taylor models in exact real arithmetic (2016)
  4. Brauße, Franz; Korovina, Margarita; Müller, Norbert Th.: Towards using exact real arithmetic for initial value problems (2016)
  5. Kawabata, Hideyuki; Iwasaki, Hideya: Improving floating-point numbers: a lazy approach to adaptive accuracy refinement for numerical computations (2016)
  6. Duracz, Jan; Farjudian, Amin; Konečný, Michal; Taha, Walid: Function interval arithmetic (2014)
  7. Hertling, Peter; Spandl, Christoph: Computing a solution of Feigenbaum’s functional equation in polynomial time (2014)
  8. Müller, Norbert; Ziegler, Martin: From calculus to algorithms without errors (2014)
  9. Sugiyama, Mahito; Hirowatari, Eiju; Tsuiki, Hideki; Yamamoto, Akihiro: Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (2013)
  10. Lester, David R.: The world’s shortest correct exact real arithmetic program? (2012)
  11. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  12. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  13. Farjudian, Amin: On the Kolmogorov complexity of continuous real functions (2011)
  14. Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri: Exact exploration and hanging algorithms (2010)
  15. Yu, Jihun; Yap, Chee; Du, Zilin; Pion, Sylvain; Brönnimann, Hervé: The design of Core 2: a library for exact numeric computation in geometry and algebra (2010)
  16. Bauer, Andrej; Kavkler, Iztok: A constructive theory of continuous domains suitable for implementation (2009)
  17. Bauer, Andrej; Taylor, Paul: The Dedekind reals in abstract Stone duality (2009)
  18. Bauer, Andrej; Kavkler, Iztok: Implementing real numbers with RZ (2008)
  19. Farjudian, Amin; Konečný, Michal: Time complexity and convergence analysis of domain theoretic Picard method (2008)
  20. Bauer, Andrej; Stone, Christopher A.: RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)

1 2 next