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.</...
The seminar brought together researchers from many different disciplines concerned with the reliable...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
The book describes the author's proposed little-known methods of coding mathematical objects such as...
Journal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pagesInternational audienceno abstra...
International audienceThe papers in this special section examine the concept of computer arithmetic....
International audienceThe papers in this special issue focus on computer arithmetic which is used in...
Naive computations with real numbers on computers may cause serious errors. In traditional numerical...
AbstractWe describe here a representation of computable real numbers and a set of algorithms for the...
International audienceCOMPUTER arithmetic is the mother of all computer research and application top...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
International audienceWe describe here a representation of computable real numbers and a set of algo...
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which ...
Computation of real numbers has been a challenging task for many years. Because of its unique nature...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approxi...
The seminar brought together researchers from many different disciplines concerned with the reliable...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
The book describes the author's proposed little-known methods of coding mathematical objects such as...
Journal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pagesInternational audienceno abstra...
International audienceThe papers in this special section examine the concept of computer arithmetic....
International audienceThe papers in this special issue focus on computer arithmetic which is used in...
Naive computations with real numbers on computers may cause serious errors. In traditional numerical...
AbstractWe describe here a representation of computable real numbers and a set of algorithms for the...
International audienceCOMPUTER arithmetic is the mother of all computer research and application top...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
International audienceWe describe here a representation of computable real numbers and a set of algo...
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which ...
Computation of real numbers has been a challenging task for many years. Because of its unique nature...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approxi...
The seminar brought together researchers from many different disciplines concerned with the reliable...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
The book describes the author's proposed little-known methods of coding mathematical objects such as...