scientific article; zbMATH DE number 3994869

zbMath0614.65001MaRDI QIDQ4721493

No author found.

Publication date: 1987

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

zbMATH Keywords

programming languagesscientific computationE-algorithmsACRITHPascal-SChigh precision arithmeticAccurate Scientific AlgorithmscomputerarithmeticSelf-validating computation

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Iterative numerical methods for linear systems (65F10) Algorithms for approximation of functions (65D15) Conference proceedings and collections of articles (00Bxx)

Related Items (22)

Improved validated bounds for Taylor coefficients and for Taylor remainder series ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Numerical solution of differential equations to prescribed accuracy ⋮ ATOMFT: Solving ODEs and DAEs using Taylor series ⋮ Simulation of discrete linear time-invariant fuzzy dynamic systems ⋮ New methods for adapting and for approximating inverses as preconditioners ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Principles of verified numerical integration ⋮ Lie symmetries applied to interval integration ⋮ Survey of integral algorithms for ordinary differential equations ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ Qualitative and quantitative simulation: bridging the gap ⋮ Automatic differentiation of the vector that solves a parametric linear system ⋮ Guaranteed Characterization of Capture Basins of Nonlinear State-Space Systems ⋮ Roles of automatic differentiation in nonlinear analysis and high-quality computation ⋮ Computing Capture Tubes ⋮ Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models ⋮ A sixth-order \(A\)-stable explicit one-step method for stiff systems ⋮ Guaranteed state estimation by zonotopes ⋮ Some recent advances in validated methods for IVPs for ODEs

This page was built for publication: