Interval mathematical library based on Chebyshev and Taylor series expansion. (English) Zbl 1081.65518

Summary: We present a mathematical library designed for use in interval solvers of systems of nonlinear equations. The library computes the validated upper and lower bounds of ranges of values of elementary mathematical functions on an interval, which are optimal in most cases. Computation of elementary functions is based on their expansion in Chebyshev and Taylor series and uses the rounded directions setting mechanism. Some original techniques developed by the authors are applied in order to provide high speed and accuracy of the computation.


65G30 Interval and finite arithmetic
65Y15 Packaged methods for numerical algorithms
Full Text: DOI


[1] Alefeld, G. and Herzberger, Ju.: Introduction to Interval Computations, Academic Press, New York, 1983. · Zbl 0552.65041
[2] Berezin, I. S. and Zhidkov, N. P.: Numerical Methods, Volume 1, Fizmatgiz, Moscow, 1959 (in Russian).
[3] Hansen, E.: Global Optimization Using Interval Analysis, New York, Marcel Dekker, 1992. · Zbl 0762.90069
[4] Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ulrich, Ch.: PASCAL–XSC. Language Reference with Examples, Springer-Verlag, Berlin, Heidelberg, 1992. · Zbl 0875.68228
[5] Kleymenov, A., Petunin, D., Semenov, A., and Vazhev, I.: A Model of Cooperative Solvers for Computational Problems, in: Proceed. of the 4th International Conference PPAM 2001, Poland, Lecture Notes in Comp. Science 2328, pp. 797–802. · Zbl 1057.68503
[6] Luke, Y. L.: The Special Functions and Their Approximations, Vol. 1, 2, Academic Press, New York, 1969. · Zbl 0193.01701
[7] Remez, Y. Ya.: The Fundamentals of Numerical Methods of Chebyshev Approximation, Naukova Dumka, Kiev, 1969 (in Russian). · Zbl 0233.65007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.