<FONT size=3><FONT color=#000000><SPAN lang=FR style=″FONT–SIZE: 10pt; COLOR: rgb(20,80,0); FONT–FAMILY: Arial″>The aim of the symposia on ″Real Numbers and Computers″ is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p–adic numbers, serial or on–line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.</SPAN><BR><B>Keywords:</B> <LI class=leaf>Foundation and properties of number systems <LI class=leaf>Computability and complexity <LI class=leaf>Formal aspects and automatic proof checking <LI class=leaf>Links with number theory and automata theory <LI class=leaf>Basic arithmetic operations <LI class=leaf>Implementation of the standard and special functions <LI class=leaf>Symbolic manipulation of numbers <LI class=leaf>Accuracy and reliability for applications and industry <LI class=leaf>Robust geometric algorithms and exact geometric computation <LI class=leaf>Hardware design support and implementations </LI></FONT></FONT>
Abbrevation
RNC
City
Santiago de Compostela
Country
Spain
Deadline Paper
Start Date
End Date
Abstract