- Analysis of the blunting anti-wrapping strategy Kenneth R. Jackson1,
- Impedance Reconstruction in an Inverse SturmLiouville Problem with Finite Data1
- Appeared in: Alefeld, G., Rohn, J., Rump, S., Yamamoto, T. (eds): Symbolic Algebraic Methods and Verification Methods, pp. 183193. Springer, Wien, 2001.
- On Mean Value Forms for Complex Functions1 The mean value form is a wellknown interval arithmetic means to compute tight range bounds for real functions. In
- Validated Bounds for the Zeros of Airy Functions1 This paper is concerned with the computation of validated bounds of zeros of Airy functions and their derivatives.
- An Enclosure Method for Linear ODEs with Analytical Coefficients The solution of an initial value problem for an ode with analytical coefficients is represented as a power series. Esti-
- Ein Einschlieungsverfahren inverse Dirichletproblem
- Improved Validated Bounds for Taylor Coefficients and for Taylor Remainder Series
- Appeared in: Numer. Funct. Anal. and Optimiz. 20 (1999), 779803. An Enclosure Method for the Solution of
- From Interval Analysis to Taylor Models -An Overview Markus Neher
- Enclosing Power Series Solutions of ODEs1 The numerical computation of power series solutions of a class of ordinary initial value problems is inves-
- Verified Integration of Linear n-th Order ODEs Using Large Steps
- A Note on a Sum Associated with the Generalized Hypergeometric Function
- ppppppppppppp ppppppppppppp
- Inclusion of eigenvalues and eigenfunctions of the Stunn-LiouvilIe problem
- Losungseinschlieung beim endlichen inversen Sturm-Liouville-Problem
- Improved Bounds for Taylor Coefficients of Analytic Functions1 The practical computation of verified bounds for Taylor coefficients of analytic functions is considered. Using interval
- Numerical Algorithms 37: 337343, 2004. 2004 Kluwer Academic Publishers. Printed in the Netherlands.
- Appeared in: Computing 53 (1994), 379395. Enclosing solutions of an inverse
- Ein Einschlieungsverfahren fur y(n) i=0 pi(x) y(i)
- Reliable Computing 7: 307319, 2001. 307 c 2001 Kluwer Academic Publishers. Printed in the Netherlands.
- CoStLy: A Validated Library for Complex Functions Markus Neher1
- Implementation of Highly Accurate Complex Inclusion Functions in the CoStLy Library
