The C++ class library CoStLy for the rigorous computation of complex function values or ranges is presented. Rectangular complex interval arithmetic is used for the computations. In the CoStLy procedures, all truncation and roundoff errors are calculated during the course of the floating-point computation and enclosed into the result. The library contains procedures for root and power functions, the exponential, trigonometric and hyperbolic functions, their inverse functions, and some auxiliary functions, such as the absolute value or the argument functio
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Fukuda, Komei (ed.); van der Hoeven, Joris (ed.); Joswig, Michael (ed.); Takayama, Nobuki (ed.): Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings (2010)
- Neher, Markus: Complex inclusion functions in the CoStLy C++ class library (2010)
- Kearfott, R.Baker; Neher, Markus; Oishi, Shin’ichi; Rico, Fabien: Libraries, tools, and interactive systems for verified computations four case studies (2004)