scientific article

zbMath0875.68228MaRDI QIDQ4003189

Michael Neaga, Ulrich Kulisch, Dietmar Ratz, Rudi Klatte, Christian P. Ullrich

Publication date: 18 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Related Items

The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation ⋮ PROFIL/BIAS - A fast interval library ⋮ Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method ⋮ A second-order pruning step for verified global optimization ⋮ The effective condition number applied to error analysis of certain boundary collocation methods ⋮ A combined method for enclosing all solutions of nonlinear systems of polynomial equations ⋮ Design of a parallel linear algebra library for verified computation ⋮ On the selection of subdivision directions in interval branch-and-bound methods for global optimization ⋮ Constructing large feasible suboptimal intervals for constrained nonlinear optimization ⋮ Errors in vector processing and the library libavi.a ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ Newton's constant of gravitation and verified numerical quadrature ⋮ Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals ⋮ Interval Input and Output ⋮ Interval Methods for Global Optimization Using the Boxing Method ⋮ Guaranteed tuning, with application to robust control and motion planning ⋮ An interval maximum entropy method for a discrete minimax problem ⋮ New Accurate Expressions in C-XSC ⋮ A continuous location model for siting a non-noxious undesirable facility within a geographical region ⋮ Multivariate rational data fitting: General data structure, maximal accuracy and object orientation ⋮ PASCAL-XSC ⋮ Interval mathematical library based on Chebyshev and Taylor series expansion ⋮ Rigorous chaos verification in discrete dynamical systems ⋮ Global optimization using interval arithmetic