Verified Estimation of Taylor Coefficients and Taylor Remainder Series of Analytic Functions (2008)
Let y = � ∞ j=0 bjz j be the analytic solution of a problem F(y) = 0 that depends on analytic functions f1,..., fn and that can be solved by recurrent computation of the Taylor coefficients bj of...
CoStLy: A Validated Library for Complex Functions (2008)
CoStLy is a new C++ library for the validated computation of function values and of ranges of complex standard functions. 1
From Interval Analysis to Taylor Models- An Overview (2008)
Interval arithmetic has been widely used in enclosure methods for almost 40 years. Today, it is a well established tool for the calculation of rigorous error bounds for many problems in numerical...
C-XSC and Closely Related Software Packages (2008)
Hofschuster, Werner, Krämer, Walter, Neher, Markus
C-XSC and Closely Related Software Packages
The CoStLy C++ Class Library (2008)
CoStLy (ul{Co}mplex ul{St}andard Functions ul{L}ibrarul{y}) has been developed as a C++ class library for the validated computation of function values and of ranges of complex standard functions. If...
Analysis of the Blunting Anti-Wrapping Strategy (2007)
Kenneth R. Jackson, Ned S. Nedialkov, Markus Neher
Interval methods for ODEs often face two obstacles in practical computations: the dependency problem and the wrapping effect. Taylor model methods, which have been developed by Berz and his group,...
Enclosing solutions of an inverse Sturm-Liouville problem with finite data (1994)
Abstract: This paper is concerned with the reconstruction of an unknown impedance p(x) in the Sturm-Liouville problem with Dirichlet boundary conditions, when only a nite number of eigenvalues are...
Ein Einschliessungsverfahren für das inverse Dirichletproblem / (1993)
Karlsruhe, Univ., Diss., 1993.