more patents on interval arithmetic implementations

[Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx>]

Arnold Neumaier wrote
      (in: Vienna proposal for interval standardization, final version):
> Bob Davis wrote:
> > Is it possible to perform calculation in interval arithmetic, although 
> > possibly slower, without requiring a patent license from the Marcel 
> > Gavriliu, Eldon Hansen, Nathan Hayes, and William Walster?
> Many of the relevant patents can be found by typing in turn each one
> of the above authors (the patents are not jointly by these) into the
> top left search line of
>     http://www.patentstorm.us/
> (begin with William Walster to get the most relevant list).
>
> Most of these patents seem to cover various specific things to be done
> with interval arithmetic, not the arithmetic per se; though from the
> legal formulations employed it is not clear to me whether the pure 
> arithmetic really remains untouched. The arithmetic itself is the
> main contents for the patents mentioned below (among those I am
> aware of); 

> ======================================================================
>
> Patents directly related to interval arithmetic and its generalizations:


I want to bring to your attention a few more patents on interval 
arithmetic implementations, not yet mentioned in my previous mail:

Patents by Guy Steele
http://www.patentstorm.us/inventors-patents/Guy_L__Steele__Jr_/1195238.html
- Methods and systems for computing the quotient of floating-point
  intervals
- Methods and systems for computing floating-point intervals
- Floating point system with improved support of interval arithmetic

Patent by Sang Hoo Dhong
http://www.patentstorm.us/patents/7447725/fulltext.html
- Apparatus for controlling rounding modes in single instruction
  multiple data (SIMD) floating-point units


Arnold Neumaier