3 ms·
That exists and is called interval arithmetic.
by atq2119 6y ago
That exists and is called interval arithmetic.
- ritter2a 6y agoThere are even more improvements (in some regard) to this, e.g. Affine Arithmetic[0, 1]. Here, error terms from different operations are accumulated symbolically so that in the case where they would cancel out (as could be useful for numerical algorithms), tighter bounds can be obtained. There are several research groups working on improving such analyses. -- [0] - https://en.wikipedia.org/wiki/Affine_arithmetic https://en.wikipedia.org/wiki/Affine_arithmetic [1] - http://users.ece.cmu.edu/~rutenbar/pdf/rutenbar-intervalicassp03.pdf http://users.ece.cmu.edu/~rutenbar/pdf/rutenbar-intervalicas... edit: formatting
- nestorD 6y agoAnd the problem with it is that it can lead to [-inf;+inf] intervals on sane computation such as Newton's method (refinements have been introduced but nothing that fully solves the problem).