Title :
intpakX - An Interval Arithmetic Package for Maple
Author_Institution :
Univ. of Wuppertal, Wuppertal
Abstract :
intpakx is a Maple package for (multiple precision) interval arithmetic. It contains data types, basic arithmetic and standard functions for real interval arithmetic and complex disc arithmetic. Moreover, it implements a handful of algorithms for validated numerical computing and graphical output functions for the visualization of results. The package intpakx thus gives the user the opportunity to do validated computing with a computer algebra system. The package may be used to solve (set valued) numerical problems in a computer algebra environment with mathematical rigor. But it is also a valuable didactical tool which allows the illustration of various interval methods/algorithms. The latest version of intpakX offers the possibility to compute and to visualize the exact solution set of two and three dimensional linear interval systems. This new feature will be discussed in some detail.
Keywords :
digital arithmetic; mathematics computing; Maple package; complex disc arithmetic; computer algebra system; multiple precision interval arithmetic; valuable didactical tool; Algebra; Arithmetic; Data visualization; Equations; Graphics; Linear systems; Packaging; Scientific computing; Software engineering; Software packages;
Conference_Titel :
Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. SCAN 2006. 12th GAMM - IMACS International Symposium on
Conference_Location :
Duisburg
Print_ISBN :
978-0-7695-2821-2
DOI :
10.1109/SCAN.2006.29