BulDML at Institute of Mathematics and Informatics >
IMI Periodicals >
Serdica Journal of Computing >
2007 >
Volume 1 Number 4 >

Please use this identifier to cite or link to this item:

Title: Introduction to the Maple Power Tool Intpakx
Authors: Krämer, Walter
Keywords: Computer Algebra
Validated Computations
Visualization Of Interval Methods
Didactical Tool
Maple Power Tool
Issue Date: 2007
Publisher: Institute of Mathematics and Informatics Bulgarian Academy of Sciences
Citation: Serdica Journal of Computing, Vol. 1, No 4, (2007), 469p-504p
Abstract: 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].
Description: The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006
ISSN: 1312-6555
Appears in Collections:Volume 1 Number 4

Files in This Item:

File Description SizeFormat
sjc036-vol1-num4-2007.pdf645.19 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!   Creative Commons License