Effective real numbers in Mmxlib
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]

Abstract

Until now, the area of symbolic computation has mainly focused on the manipulation of algebraic expressions. Based on earlier, theoretical work, the author has started to develop a systematic C++ library Mmxlib for mathematically correct computations with more analytic objects, like complex numbers and analytic functions. While implementing the library, we found that several of our theoretical ideas had to be further improved or adapted. In this paper, we report on the current implementation, we present several new results and suggest directions for future improvements.

Subject descriptors: theory of computation, analysis of algorithms, problem complexity, numerical algorithms and problems

View: Html, TeXmacs, Pdf, BibTeX