Scientific Computing and Validated Numerics : Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numbers SCAN-95 Held in Wupperta Book

	Hardware Reciprocal Table Compression/Decompression Techniques	11
	Implementing Division and Other Floating-Point Operations: A System Perspective	18
	A Processor for Accurate, Self-Validating Computing	25
	Hardware Support for Interval Arithmetic	32
	Shared Computations for Efficient Interval Function Evaluation	38
	Computing Narrow Inclusions for Cauchy Principal Value Integrals	45
	The Complex Arithmetic-Geometric Mean and Multiple-Precision Matrix Functions	52
	Towards Exact Rounding of the Elementary Functions	59
	Calculation of the Inverse Weierstrass Function in an Arbitrary Machine Arithmetic	72
	Processing Software Metrics in an Integrated Development Environment for Pascal-XSC	79
	Computational Stability Study Using the CADNA Software Applied to the Navier-Stokes Solver PEGASE	84
	The Use of Multi-Intervals in the UniCalc Solver	91
	Success in Epsilon-Inflation	98
	The Distance Between Regularity and Strong Regularity	105
	A New Approach to the Analysis of Static Systems Under Interval Uncertainty	118
	Effective Improvements of the Interval-Newton-Method	133
	On the Application of an Interval Algorithm for Set Inversion	140
	On a Numerical Approach for Solving a Class of Nonlinear Systems	147
	On the R-Order of Convergence of a Class of Simultaneous Methods for the Inclusion of Polynomial Roots	154
	Treating Non-Smooth Functions as Smooth Functions in Global Optimization and Nonlinear Systems Solvers	160
	Optimal Preconditioners for Interval Gauss-Seidel Methods	173
	Inclusion of the Inverse of a Function in n Variables	179
	A Generalized Bisection Method for Large and Imprecise Problems	186
	A Parallel Algorithm for Enclosing All Zeros of a Nonlinear System of Equations	193
	A Parallel Method for Verified Global Optimization	200
	A Method for Verified Computing of Inner and Outer Approximations of the Interval Hull of a Tolerance Polyhedron	207
	The Exact Lower Bound of Optimal Values in Interval LP	214
	On Branching Rules in Second-Order Branch-and-Bound Methods for Global Optimization	221
	Validating an A Priori Enclosure Using High-Order Taylor Series	228
	A Posteriori Error Estimation for Partial Differential Equations	239
	Inheritable Properties and Computer Assisted Proofs in Dynamics	245
	Guaranteed Error Bounds for Finite Element Solutions of the Stokes Problem	258
	Enclosures for Two-Point Boundary Value Problems Near Bifurcation Points	265
	Globally Convergent Iterative Domain Decomposition Methods for the Parallel Solution of a Class of Nonlinear Systems of Equations	280
	Rigorous Verification of Chaos in the Rossler Equations	287
	Computational Complexity of Interval Algebraic Problems: Some Are Feasible and Some Are Computationally Intractable - A Survey	293
	On the Foundations of Interval Arithmetic	307
	On Interval Problems, Interval Algorithms and Their Computational Complexity	314
	Application of Automatic Differentiation Techniques to Circuit Simulation	329
	Liquid Crystal Simulation Using Automatic Differentiation and Interval Arithmetic	334