References in zbMATH (referenced in 33 articles )

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

1 2 next

  1. Rösnick-Neugebauer, Carsten: Closed sets and operators thereon: representations, computability and complexity (2018)
  2. Brauße, Franz; Korovina, Margarita; Müller, Norbert: Using Taylor models in exact real arithmetic (2016)
  3. Brauße, Franz; Korovina, Margarita; Müller, Norbert Th.: Towards using exact real arithmetic for initial value problems (2016)
  4. Kawabata, Hideyuki; Iwasaki, Hideya: Improving floating-point numbers: a lazy approach to adaptive accuracy refinement for numerical computations (2016)
  5. Duracz, Jan; Farjudian, Amin; Konečný, Michal; Taha, Walid: Function interval arithmetic (2014)
  6. Hertling, Peter; Spandl, Christoph: Computing a solution of Feigenbaum’s functional equation in polynomial time (2014)
  7. Sugiyama, Mahito; Hirowatari, Eiju; Tsuiki, Hideki; Yamamoto, Akihiro: Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (2013)
  8. Lester, David R.: The world’s shortest correct exact real arithmetic program? (2012)
  9. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  10. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  11. Farjudian, Amin: On the Kolmogorov complexity of continuous real functions (2011)
  12. Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri: Exact exploration and hanging algorithms (2010)
  13. 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)
  14. Bauer, Andrej; Kavkler, Iztok: A constructive theory of continuous domains suitable for implementation (2009)
  15. Bauer, Andrej; Taylor, Paul: The Dedekind reals in abstract Stone duality (2009)
  16. Farjudian, Amin; Konečný, Michal: Time complexity and convergence analysis of domain theoretic Picard method (2008)
  17. Bauer, Andrej; Stone, Christopher A.: RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)
  18. Gawronski, W.; Müller, J.; Reinhard, M.: Reduced cancellation in the evaluation of entire functions and applications to the error function (2007)
  19. Lambov, Branimir: RealLib: an efficient implementation of exact real arithmetic (2007)
  20. Marcial-Romero, J. Raymundo; Escardó, Martín H.: Semantics of a sequential language for exact real-number computation (2007)

1 2 next