1. and Interval Calculus in Maple: The Extension intpakX to the Package intpak of the Share- Library. University ofWuppertal, Germany, 2001. Available from http://www.math.uni-wuppertal.de/wrswt/literatur.html
2. and An Experimental Arithmetic Package in Maple, University of Western Ontario, Canada, 1993.
3. Computeralgebra und Verifikationsalgorithmen. Diploma Thesis, University of Karlsruhe, Germany, 1998.
4. http://www.mapleapps.com/