Tuesday
Wednesday
Objective:
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, serial, on line, continued fractions, exact, multiple precision, interval and stochastic arithmetic.
Results are sought on both applied and fundamental questions.
Important topics discussed during these conferences include but are not limited to:
* Foundation and properties of number systems
* Computability and complexity
* Formal aspects and automatic proof checking
* Links with number theory and automata theory
* Basic arithmetic operations
* Implementation of the standard and special functions
* Engineering of floating and fixed point algorithms
* Symbolic manipulation of numbers
* Accuracy and reliability for applications and industry
* Robust geometric algorithms and exact geometric computation
* Hardware design support and implementations
The conference will feature invited lectures and contributed talks.
Invited Lectures:
1. Benno Fuchssteiner, Paderborn, Germany 2. Simon Plouffe, Montreal, Canada 3. Stefan Schirra, Magdeburg, Germany
Steering Committee:
Jean-Claude Bajard, Montpellier, France
Jean-Marie Chesneaux, Paris, France
Marc Daumas, Lyon, France
Christiane Frougny, Paris, France
Peter Kornerup, Odense, Denmark (Chair)
Dominique Michelucci, Dijon, France
Jean-Michel Muller, Lyon, France