Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Dear P1788
members, I prepared
a new version of motion 24, see the attachment. It more or less
follows
suggestions made by Michel Hack. However, it is only concerned
with interval
arithmetic. Comments on
version 24.03 of the motion: 1.
Realization of the motion is possible in software and/or
hardware! 2. The
required arithmetic operations with directed roundings are
useful per se. Lower
or upper bounds of expressions (not necessarily optimal)
frequently can be obtained
just by using these operations. 3. Of
course, a system that provides the four basic operations for
intervals is motion
24.03 compliant. An interval operation simultaneously computes
the greatest
lower and the least upper bound. 4. Lower
and upper bounds of other operations or functions like fma,
square root,
elementary or other functions, or arithmetic expressions are not
required by
the motion. An interval evaluation delivers these bounds. 5. As
suggested by several colleagues type conversions are now
included in the
motion. Best regards -- 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 |
Attachment:
Motion24.03.pdf
Description: Adobe PDF document