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.

View >>

 
 
     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.

Example >>

 
 
     2D Range Enclosure

You can enclose the range of a real-valued function in one real variable using either equidistant or adaptive subdivision and either interval evaluation or the mean value form.

Example >>

 
 
     3D Range Enclosure

As well as for functions in one real variable, you can also compute range enclosures for real-valued functions in two variables and visualize the resulting intervals.

Example >>

 
 
     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.

Example >>

 
 
     Download - Literature - Contact

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

go >>

 


WRSWT-Logo Wiss. Rechnen / Softwaretechnologie     FB Mathematik     Bergische Universität Wuppertal