Verified Numerics meets Computer Algebra 



intpakX combines Interval Arithmetic with the features of a Computer Algebra System. It offers a variety of algorithms for the use with Maple(TM). Thus, you can do verified computations and at the same time get your results graphically visualized. 



Functional Range
View a list of the most important functions and operators
intpakX offers.  
Interval Newton Method
The Interval version of the Newton Method lets you find all zeros of a
continuously differentiable function and moreover gives you a proof for
the existence of unique zeros. 

2D Range Enclosure
You can enclose the range of a realvalued function in one real variable
using either equidistant or adaptive subdivision and either interval
evaluation or the mean value form. 

3D Range Enclosure
As well as for functions in one real variable, you can also compute
range enclosures for realvalued functions in two variables and
visualize the resulting intervals. 

Complex Disc Arithmetic
Make use of complex disc arithmetic types and operations to enclose the
range of a complex polynomial or compute the exponential function for
disc intervals. 

Download  Literature  Contact
Download intpakX or one of the available preprints or get in
contact with us. 