Scientific computing with automatic result verification
From MaRDI portal
Publication:684249
zbMath0773.00004MaRDI QIDQ684249
No author found.
Publication date: 6 September 1993
Published in: Mathematics in Science and Engineering (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06)
Related Items (12)
Stabilization of the motion of a nonlinear system with interval initial conditions ⋮ A software interface and hardware design for variable-precision interval arithmetic ⋮ Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals ⋮ Comparison of Classical and Alternative Fluid Equations Using Symmetry Methods ⋮ The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ Towards an automatic uncertainty compiler ⋮ Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems ⋮ The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation ⋮ Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Interval analysis: Theory and applications
Uses Software
This page was built for publication: Scientific computing with automatic result verification
