Re: Motion P1788/M0009.01_ExactDotProduct
On Tue, 17 Nov 2009 13:30:18 +0100, Arnold Neumaier
<arnold.neumaier@xxxxxxxxxxxx> wrote:
The top-ranked solution of the SIAM 100 digit challence solved half the
problems using multiprecision interval arithmetic, again without an exact
dot product.
In the top-ranked solution published in
F. Bornemann, D. Laurie, S. Wagon, and J. Waldvogel:
The SIAM 100-Digit Challenge---A Study in High-Accuracy Numerical
Computing,
SIAM, Philadelphia, 2004.
half of the problems were solved in INTLAB, thus using interval arithmetic
and verification methods in DOUBLE PRECISION !
Best wishes,
Siegfried M. Rump
--
=====================================================
Prof. Dr. Siegfried M. Rump
Institute for Reliable Computing
Hamburg University of Technology
Schwarzenbergstr. 95
21071 Hamburg
Germany
phone +49 40 42878 3027
fax +49 40 42878 2489
http://www.ti3.tu-harburg.de
and
Visiting Professor at Waseda University
Faculty of Science and Engineering
Shinjuku Lambdax Bldg. 902
2-4-12 Okubo, Shinjuku-ku
Tokyo 169-0072
Japan
phone/fax in Japan +81 3 5286 3414