Numerical Methods and Error Bounds : Proceedings of the IMACS-GAMM International Symposium on Numerical Methods and Errors Bounds Held in Oldenburg, Germany, July 9-12, 1995 Book

	A low-degree approximation for layer solution of singularly pertubed problems	9
	Symmetric linear systems with pertubed input data	16
	Combined iterative methods based on a modification of the Koenig theorem	23
	Using special arithmetic in geometric algorithms	38
	Where is validated ODE solving going?	48
	Error bounds for compound quadratures for Hadamard-type finite-part integrals	58
	Two-sided methods based on defects	64
	Practical error estimates for the Gauss-Kronrod quadrature formula	74
	Fast verification of linear system solutions	80
	Error analysis of elimination methods for equality constrained quadratic programming problems	107
	On the R-order of convergence of a class of simultaneous methods of approximating the roots of a polynomial	113
	On the Q-order and R-order of convergence for coupled sequences arising in iterative numerical processes	120
	Inclusion of solutions of initial value problems for quasilinear hyperbolic equations	132
	Error-bounding in level-index computer arithmetic	138
	On the calculation of the Q-order and R-order for coupled sequences	146
	Comparison of higher order Runge Kutta methods for chaotic vibrations of double pendulum	152
	Variational approach to snap through buckling analysis of orthotropic curved plates	158
	The Baysian approach to numerical problems: Results for zero finding	164
	Secant slope method for inclusion of complex zeros of polynomials	172
	Asynchronous methods for simultaneous inclusion of polynomial roots	178
	A note on Brent's rootfinding method	188
	Determination of the exact sign of a sum	198
	Pythagoras, Thales and a classical finite element - some remarks on hypercircle bounding	205
	Problems in enclosing solutions of ODEs	297
	On approximation of characteristic values of meromorphic operator-valued functions	211
	A coprocessor for accurate and reliable computing	217
	Algebraic solutions to interval linear equations and their applications	224
	Tight floating point error bounds for polynomial evaluation	234
	A posteriori error estimates for operator equations	241
	Floating-point errors in complex Cholesky algorithms	249
	Interval approach for super-long-term forecasting of sunspot activity maxima	255
	Orthogonal squared distance fitting with parabolas	261
	Extended interval space and elementary mappings	270
	Numerical enclosures for solutions of the Navier-Stokes equation for small Reynolds numbers	280
	SOR-like methods for the simultaneous determination of polynomial zeros	287
	List of Participants	303