M001.02

[Małgorzata Jankowska <malgorzata.jankowska@xxxxxxxxxxxxx>]

Dear Sirs.

As I said a few weeks ago, I agree with Prof. Kulisch about the EDP.

In general I am for the motion M001.02, but I vote NO only for the same reasons as Professor.

Very often verified solution is not easy or even is impossible to obtain, e.g. in the area of

complicated initial-boundary value problems. Hence, if we can compute the dot product

exactly (such operation is frequently used in numerical methods), then we probably should do it.

With kind regards

           Malgorzata

---

Od: "Ulrich Kulisch" <ulrich.kulisch@xxxxxxx>
Do: "stds-1788" <STDS-1788@xxxxxxxxxxxxxxxxx>
DW: "Nedialkov, Ned" <nedialk@xxxxxxxxxxx>
Wysłane: środa, 3 luty 2016 11:07:22
Temat: M001.02

My vote is NO.

I would vote YES if in Table 4.1 under Basic operations after fma(x,y,z) the dot product of two vectors would be added.
The dot product brings speed and accuracy to interval arithmetic. Both are essential for acceptance and success of interval methods.

Please do not answer that this is not possible by formal reasons. If this would be so another way must be found, possibly by a revision of the standard now and not in ten years.

Ulrich Kulisch

-- 
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch
KIT Distinguished Senior Fellow

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-Gesellschaft