Scientific computing with automatic result verification
From MaRDI portal
Publication:684249
zbMATH Open0773.00004MaRDI QIDQ684249FDOQ684249
Authors:
Publication date: 6 September 1993
Published in: Mathematics in Science and Engineering (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 953029
- Verification and validation in scientific computing.
- Verification and validation in scientific computing code
- Automatic result verification by complete run-time checking of computations
- scientific article; zbMATH DE number 563597
- scientific article
- scientific article
- Numerical Software with Result Verification
- scientific article; zbMATH DE number 1845080
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06)
Cited In (12)
- Multiple/arbitrary precision interval computations in C-XSC
- The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation
- Interval analysis: Theory and applications
- Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems
- Towards an automatic uncertainty compiler
- A software interface and hardware design for variable-precision interval arithmetic
- Stabilization of the motion of a nonlinear system with interval initial conditions
- 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
- Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
Uses Software
This page was built for publication: Scientific computing with automatic result verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684249)
