References in zbMATH (referenced in 27 articles )

Showing results 1 to 20 of 27.
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. Hertling, Peter; Spandl, Christoph: Computing a solution of Feigenbaum’s functional equation in polynomial time (2014)
  3. Sugiyama, Mahito; Hirowatari, Eiju; Tsuiki, Hideki; Yamamoto, Akihiro: Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (2013)
  4. Lester, David R.: The world\rqs shortest correct exact real arithmetic program? (2012)
  5. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  6. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  7. 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)
  8. Bauer, Andrej; Kavkler, Iztok: A constructive theory of continuous domains suitable for implementation (2009)
  9. Bauer, Andrej; Taylor, Paul: The Dedekind reals in abstract Stone duality (2009)
  10. Bauer, Andrej; Kavkler, Iztok: Implementing real numbers with RZ. (2008)
  11. Farjudian, Amin; Konečný, Michal: Time complexity and convergence analysis of domain theoretic Picard method (2008)
  12. Bauer, Andrej; Stone, Christopher A.: RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)
  13. Gawronski, W.; Müller, J.; Reinhard, M.: Reduced cancellation in the evaluation of entire functions and applications to the error function (2007)
  14. Lambov, Branimir: RealLib: an efficient implementation of exact real arithmetic (2007)
  15. Marcial-Romero, J.Raymundo; Escardó, Martín H.: Semantics of a sequential language for exact real-number computation (2007)
  16. Blanck, J.: Exact real arithmetic using centred intervals and bounded error terms (2006)
  17. Briggs, Keith: Implementing exact real arithmetic in python, C++ and C (2006)
  18. van der Hoeven, Joris: Computations with effective real numbers (2006)
  19. Beyer, Tilo; Schaller, Gernot; Deutsch, Andreas; Meyer-Hermann, Michael: Parallel dynamic and kinetic regular triangulation in three dimensions (2005)
  20. Blanck, J.: Efficient exact computation of iterated maps (2005)

1 2 next