scientific article
From MaRDI portal
Publication:3899395
zbMath0452.65024MaRDI QIDQ3899395
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Numerical linear algebra (65Fxx) Numerical methods for ordinary differential equations (65Lxx) Nonlinear algebraic or transcendental equations (65Hxx)
Related Items
On multistep interval methods for solving the initial value problem ⋮ On the evolution of realistic statistics ⋮ Computation complexity of the range of a polynomial in several variables ⋮ On interval predictor-corrector methods ⋮ Interval methods of Adams-Bashforth type with variable step sizes ⋮ Interval versions of Milne's multistep methods ⋮ Interval versions for special kinds of explicit linear multistep methods ⋮ Optimization problems with interval uncertainty: branch and bound method ⋮ An interval version of the Kuntzmann-Butcher method for solving the initial value problem ⋮ The optimal solution of an interval system of linear algebraic equations ⋮ Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations ⋮ Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations ⋮ Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models ⋮ Solution of a system of linear equations with uncertainty in both sides ⋮ Dynamics of an ideal liquid with a free surface in conformal variables ⋮ Numerical theorem proving by electronic computers and its application in various branches of mathematics
