Re: [Reliable Computing] IEEE 1788-2015 implementations?
On 19.07.2016 16:12, Ralph Baker Kearfott wrote:
> Interval researchers,
>
> I am collecting implementations of the IEEE Standard for interval
> arithmetic for a talk, and I want to be sure I haven't missed
> any. So far, I only have three: (1) Oliver Heimlich's Gnu Octave
> package; (2) JInterval (Java) by Dmitry Nadezhin and Sergei Zhilin,
> and (3) C++, by Marco Nehmeier.
>
> Are there any partial or full implementations, or any planned
> implementations, that I have missed?
>
Don't forget (4) the Julia package ValidatedNumerics.jl, which will be
presented at SCAN 2016 in Upsala.
The Octave package has been presented at SWIM 2016. You may find the
slides at [1].
Best
Oliver
P.S. You could also mention Gaol (gaol.sf.net), which does not claim to
be standards conforming, but if you added decorated intervals you
propably can achieve the target easily.
[1] https://speakerdeck.com/oheim/interval-arithmetic-in-gnu-octave