Geodesic
Introduction to the Maple Power Tool Intpakx
Serdica Journal of Computing, Tome 1 (2007) no. 4, pp. 469-504.

Voir la notice de l'article provenant de la source Bulgarian Digital Mathematics Library

The Maple Power Tool intpakX [24] de nes Maple types for real intervals and complex disc intervals. On the level of basic operations, intpakX includes the four basic arithmetic operators, including extended interval division as an extra function. Furthermore, there are power, square, square root, logarithm and exponential functions, a set of standard functions, union, and intersection. Reimplementations of the Maple construction, conversion, and unapplication functions are available. Additionally, there is a range of operators for complex disc arithmetic. As applications, verified computation of zeroes (Interval Newton Me- thod) with the possibility to find all zeroes of a function on a specified interval, and range enclosure for real-valued functions of one or two variables are implemented, the latter using either interval evaluation or evaluation via the mean value form and adaptive subdivision of intervals. The user can choose between a non-graphical and a graphical version of the above algorithms displaying the resulting intervals of each iteration step. The source code (about 2000 lines of Maple{code) of the extension intpakX is freely available [23].
Keywords: Computer Algebra, Validated Computations, Visualization Of Interval Methods, Didactical Tool, Maple Power Tool, intpakX 
@article{SJC_2007_1_4_a6,
     author = {Kr\"amer, Walter},
     title = {Introduction to the {Maple} {Power} {Tool} {Intpakx}},
     journal = {Serdica Journal of Computing},
     pages = {469--504},
     publisher = {mathdoc},
     volume = {1},
     number = {4},
     year = {2007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2007_1_4_a6/}
}
TY  - JOUR
AU  - Krämer, Walter
TI  - Introduction to the Maple Power Tool Intpakx
JO  - Serdica Journal of Computing
PY  - 2007
SP  - 469
EP  - 504
VL  - 1
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJC_2007_1_4_a6/
LA  - en
ID  - SJC_2007_1_4_a6
ER  - 
%0 Journal Article
%A Krämer, Walter
%T Introduction to the Maple Power Tool Intpakx
%J Serdica Journal of Computing
%D 2007
%P 469-504
%V 1
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2007_1_4_a6/
%G en
%F SJC_2007_1_4_a6
Krämer, Walter. Introduction to the Maple Power Tool Intpakx. Serdica Journal of Computing, Tome 1 (2007) no. 4, pp. 469-504. http://geodesic.mathdoc.fr/item/SJC_2007_1_4_a6/