scientific article
From MaRDI portal
Publication:3999735
zbMath0757.68023MaRDI QIDQ3999735
Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian P. Ullrich
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Interval and finite arithmetic (65G30) Computer aspects of numerical algorithms (65Y99)
Related Items (30)
Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors ⋮ Aspects for a block version of the interval Cholesky algorithm ⋮ Precise evaluation of a polynomial at a point given in staggered correction format ⋮ Implicit matrix multiplication with maximum accuracy on various transputer networks ⋮ A test environment using symbolic program trace ⋮ Simulation of controlled uncertain nonlinear systems ⋮ A circuit for exact summation of floating-point numbers ⋮ Lower bounds for the \(R\)-order of convergence of simultaneous inclusion methods for polynomial roots and related iteration methods ⋮ Experiences with a method for enclosing solutions of systems of equations ⋮ Epsilon-inflation in verification algorithms ⋮ Verified solution of large systems and global optimization problems ⋮ On computer-assisted proofs for solutions of linear complementarity problems ⋮ Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution ⋮ Variable-precision, interval arithmetic coprocessors ⋮ Verification of constrained minima ⋮ Verified Determination of Singularities in Chemical Processes ⋮ Interval analysis as a tool for sensitivity analysis of a hemopoietic model ⋮ On some simultaneous methods based on Weierstrass' correction ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ Template generation for continuous transfer functions using interval analysis ⋮ Uncertainty in GPS networks due to remaining systematic errors: the interval approach ⋮ A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices ⋮ Acceleration of iteration methods for interval fixed point problems ⋮ Computational error bounds for multiple or nearly multiple eigenvalues ⋮ Mathematically rigorous global optimization in floating-point arithmetic ⋮ PASCAL-XSC ⋮ Interval enclosures for a certain class of multiple integrals ⋮ Interval analysis: Theory and applications ⋮ An improvement of Gargantini's simultaneous inclusion method for polynomial roots by Schröder's correction ⋮ Self-validating integration and approximation of piecewise analytic functions
This page was built for publication: