Introduction to the Maple Power Tool Intpakx

Krämer, Walter

Serdica Journal of Computing (2007)

  • Volume: 1, Issue: 4, page 469-504
  • ISSN: 1312-6555

Abstract

top
The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006The 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].

How to cite

top

Krämer, Walter. "Introduction to the Maple Power Tool Intpakx." Serdica Journal of Computing 1.4 (2007): 469-504. <http://eudml.org/doc/11437>.

@article{Krämer2007,
abstract = {The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006The 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].},
author = {Krämer, Walter},
journal = {Serdica Journal of Computing},
keywords = {Computer Algebra; Validated Computations; Visualization Of Interval Methods; Didactical Tool; Maple Power Tool; intpakX; computer algebra; validated computations; visualization of interval methods; interval Newton method},
language = {eng},
number = {4},
pages = {469-504},
publisher = {Institute of Mathematics and Informatics Bulgarian Academy of Sciences},
title = {Introduction to the Maple Power Tool Intpakx},
url = {http://eudml.org/doc/11437},
volume = {1},
year = {2007},
}

TY - JOUR
AU - Krämer, Walter
TI - Introduction to the Maple Power Tool Intpakx
JO - Serdica Journal of Computing
PY - 2007
PB - Institute of Mathematics and Informatics Bulgarian Academy of Sciences
VL - 1
IS - 4
SP - 469
EP - 504
AB - The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006The 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].
LA - eng
KW - Computer Algebra; Validated Computations; Visualization Of Interval Methods; Didactical Tool; Maple Power Tool; intpakX; computer algebra; validated computations; visualization of interval methods; interval Newton method
UR - http://eudml.org/doc/11437
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.