I am currently trying to estimate a complicated expression involving DawsonF using interval arithmetic. The interval arithmetic is partially supported by ...
I've run into a problem with IntervalUnion and IntervalIntersection when dealing with symbolic intervals. The following code ...
I am trying to do some simple calculations for a computer assisted proof and since they are not too demanding I thought of using Mathematica. I seems that Mathematica is great for interval ...