RNC4

4th Conference 'Real Numbers and Computers'

Schloss Dagstuhl

April 17 - 19, 2000

PROGRAM:

  Monday, April 17 Tuesday, April 18 Wednesday, April 19
9:00-10:30 Registration Session 4 Session 8 (incl. open)
10:30-11:00 Opening and Session 1 Coffee Break Coffee Break
11:00-12:00 Session 5 (Open) Session 9 (Open), Closing
12:15-14:00 Lunch Lunch Lunch
14:00-15:30 Session 2 Session 6 Excursion to Trier
15:30-16:00 Coffee Break Coffee Break
16:00-17:00 Session 3 Session 7
18:00- Dinner Dinner Dinner

SESSIONS:

Note: Titles are links to Postscript/HTML versions of papers/abstracts

(The papers are presented here to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.)

Monday, April 17

10:30 - 11:00: Opening & Session 1, Chair: Christiane Frougny

Opening Remarks: Peter Kornerup

Invited Talk:
Recent Development in the Theory and Applications of the Double-Base Number System (Abstract)
Vassil Dimitrov, Helsinki University of Technology, Finland

On Canonical Number Systems
S. Akiyama & A. Pethö; Niigata, Japan & Debrechen, Hungary

14:00-15:30 Session 2: Floating Point, Chair: Dominique Michelucci

Rounding Near Zero
Ulrich Kulisch; Univ. Karlsruhe, Germany

Some algebraic properties of floating-point arithmetic
J.-M. Muller, Lyon, France

Number Theoretic Foundations of Binary Floating Point Division
D. Matula & L.D. McFearin; Dallas, Texas

16:00-17:00 Session 3: Elementary Functions, Chair: David Matula

Exponential: Implementation Trade-Offs for Hundred Bit Precision
M. Daumas & C. Moreau-Finot; Lyon, France

Fast Evaluation of Elementary Functions with Combined Shift-and-Add and Polynomial Methods
J.C. Bajard, M.D. Ercegovac, L. Imbert & F. Rico; Montpellier, France & Los Angeles, USA & Marseilles, France & Lyon, France


Tuesday, April 18

9:00-10:30 Session 4: Chair: Jean-Claude Bajard

Invited Talk:
MPFR: A Library for Multiprecision Floating-point Arithmetic with Exact Rounding (Abstract)
Paul Zimmermann; Lorraine, France

An Analog Characterization of the Subrecursive Functions
M.L. Campagnolo, C. Moore & J.F. Costa; Santa Fe, New Mexico & Lisboa, Portugal

11:00-12:00 Session 5: Open Session, Chair: Peter Kornerup
List of abstracts

14:00-15:30 Session 6: Libraries, Chair: Paul Zimmermann

fi_lib++: Specification, Implementation and Test of a Library for Extended Interval Arithmetic
M. Lerch & J.W. von Gudenberg; Wurzburg, Germany

The Correctness of an Implementation of Exact Arithmetic
P. Gowland & D. Lester; Manchester, UK

The Class Library for Exact Rational Arithmetic in ARITMOS
A. Cuyt, P. Kuterna, B. Verdonk & J.Vervloet; Antwerp, Belgium

16:00-17:00 Session 7: Division, Chair: Paolo Montuschi

Integer Divide and Remainder Operations in the IA-64 Architecture
M. Cornea, C. Iordache, J. Harrison & P. Markstein; Intel Corp., USA

Hardware Algorithms for Variable Precision Division
J. Hormigo, J. Villalba & M.J. Schulte; Malaga, Spain & Bethlehem, USA


Wednesday, April 19

9:00-10:40 Session 8: Interval Arithmetic, Chair: Ulrich Kulisch

Invited Talk: (Canceled)
Linear Algebraic Problems with Inexact Data (Abstract)
J. Rohn; Prague, Czech Republic
Due to health problems Jiri Rohn could not attend, and the time was used for informal talks.
List of abstracts

A Natural Way to the Radius of Singularity for Matrices
G. Rex; Leipzig, Germany

11:00-11:50 Session 9: Open Session, Chair: Jean-Michel Muller
List of abstracts

11:50-12:00 Closing: Peter Kornerup


Last modified: Thu May 4 14:13:48 2000

Peter Kornerup: kornerup@imada.sdu.dk