scientific article; zbMATH DE number 1424515
From MaRDI portal
Publication:4945762
Recommendations
Cited in
(20)- Verified solution of large systems and global optimization problems
- Solving systems of linear fuzzy equations by parametric functions -- an improved algorithm
- Verified numerical computations for large-scale linear systems.
- Refining and verifying the solution of a linear system
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- scientific article; zbMATH DE number 5773704 (Why is no real title available?)
- scientific article; zbMATH DE number 3986524 (Why is no real title available?)
- scientific article; zbMATH DE number 1313343 (Why is no real title available?)
- scientific article; zbMATH DE number 524107 (Why is no real title available?)
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- Verified Solutions of Systems of Nonlinear Polynomial Equations
- scientific article; zbMATH DE number 804617 (Why is no real title available?)
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics
- Numerical Software with Result Verification
- Verified solving of linear systems with uncertainties in Maple
- Method for verifying solutions of sparse linear systems with general coefficients
- Fast verified solutions of linear systems
- Verified numerical computation for nonlinear equations
- A method of obtaining verified solutions for linear systems suited for Java
- Verified integration of linear \(n\)th order ODEs using large steps
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945762)
