IFC editors 2nd issue
Preface
Super-fast validated solution of linear systems
Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes
Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process
On regular and singular interval systems
On multistep interval methods for solving the initial value problem
An efficient estimate based on FFT in topological verification method
An eigenvalue problem for derogatory matrices
Interval modeling of dynamics for multibody systems
On computer-assisted proofs for solutions of linear complementarity problems
A verified method for bounding clusters of zeros of analytic functions
The convergence rate of continued fractions representing solutions of a Riccati equation
Guaranteed nonlinear parameter estimation in knowledge-based models
On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains
A COCR method for solving complex symmetric linear systems
Existence test for solution of nonlinear systems applying affine arithmetic
Inner and outer bounds for the solution set of parametric linear systems
Principles of verified numerical integration
Remarks on a posteriori error estimation for finite element solutions
A method of obtaining verified solutions for linear systems suited for Java
A new scheme of computing the approximate inverse preconditioner for the reduced linear systems
Interval methods for verifying structural optimality of circle packing configurations in the unit square
Verified convex hull and distance computation for octree-encoded objects
Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations
An efficient and safe framework for solving optimization problems
Towards a computer-assisted proof for chaos in a forced damped pendulum equation
Empirical convergence speed of inclusion functions for facility location problems
Two acceleration mechanisms in verified global optimization
Proving the existence of zeros using the topological degree and interval arithmetic
Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems
From intervals to domains: Towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data
Interval versions of statistical techniques with applications to environmental analysis, bioinformatics, and privacy in statistical databases
Discrepancy between theory and real computation on the stability of some finite element schemes
A method for separating nearly multiple eigenvalues for Hermitian matrix
Parallel interval Newton-like Schwarz methods for almost linear parabolic problems
Numerical verification of stationary solutions for Navier–Stokes problems
author index volume
