| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Am 12.07.2011 16:19, schrieb Vincent Lefevre:
I vote NO on Motion 24.03.
IEEE 754 is primarily concerned standardizing floating-point arithmetic with rounding to nearest.1. This shouldn't belong to P1788, but to the floating-point arithmetic and language standards (IEEE 754-1985 already defines these operations, and it will be available in general, and if it is not, there may be a good reason, and no problems will be solved concerning P1788).
For better support of verified computing (computing with guarantees) the standards committee "IEEE P1788 for interval arithmetic" was founded. Would the committee have been called "P1788 for verified computing" or "P1788 for computing with guarantees" it would be more obvious that the operations and conversions with directed roundings belong into P1788. These operations (as an exact dot product) are essential engredients of computing with guarantees.
-- Karlsruher Institut für Technologie (KIT) Institut für Angewandte und Numerische Mathematik (IANM2) D-76128 Karlsruhe, Germany Prof. Ulrich Kulisch Telefon: +49 721 608-42680 Fax: +49 721 608-46679 E-Mail: ulrich.kulisch@xxxxxxx www.kit.edu www.math.kit.edu/ianm2/~kulisch/ KIT - Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft