Abstract
Different approaches for real number computations, which deal with arithmetic on the full set of real numbers are presented. Hans-J.Boehm, has shown that how a data structure can be built in a conventional programming language. Valerie Menissier Morain, has shown, how the precision of approximations can be traced during the computation of many basic real functions. Jens Blanck has described methods for computation of iterated maps. Hideki Tsuiki, has described the idea of real numbers computation with logic programming languages. Other important approaches includes geometric computations on algebric numbers, floating point arithmetic with variable precision and fixed precision, and floating point arithmetic enhanced with computer algebra.
Original language | English |
---|---|
Pages (from-to) | 1-2 |
Number of pages | 2 |
Journal | Journal of Logic and Algebraic Programming |
Volume | 64 |
Issue number | 1 |
DOIs | |
Publication status | Published - Jul 2005 |
ASJC Scopus subject areas
- Software
- Theoretical Computer Science
- Logic
- Computational Theory and Mathematics