References in zbMATH (referenced in 31 articles )

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

1 2 next

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

1 2 next