scientific article
From MaRDI portal
Publication:3730926
zbMath0597.65018MaRDI QIDQ3730926
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Numerical computation of solutions to single equations (65H05) Direct numerical methods for linear systems and matrix inversion (65F05) Numerical linear algebra (65Fxx)
Related Items (50)
A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid ⋮ Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ On computational proofs of the existence of solutions to nonlinear parabolic problems ⋮ A heuristic method for certifying isolated zeros of polynomial systems ⋮ Checking bounds on solutions of linear interval equations is NP-hard ⋮ Solution of linear systems with verified accuracy ⋮ Epsilon-inflation in verification algorithms ⋮ Certified numerical real root isolation for bivariate nonlinear systems ⋮ On regular and singular interval systems ⋮ A certified numerical algorithm for the topology of resultant and discriminant curves ⋮ Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics ⋮ Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ A numerical approach to the proof of existence of solutions for elliptic problems II ⋮ Enclosures for the solution set of parametric interval linear systems ⋮ Verified computation of Lamé functions with high accuracy ⋮ Interval linear systems: the state of the art ⋮ Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one ⋮ VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ Fast simulation for Gaussian random fields on compact Riemannian manifolds ⋮ A filtering method for the interval eigenvalue problem ⋮ Numerical verification of solutions for some unilateral boundary value problems. ⋮ Numerical verification of solutions for obstacle problems. ⋮ Verified error bounds for solutions of Sylvester matrix equations ⋮ Verified error bounds for real eigenvalues of real symmetric and persymmetric matrices ⋮ Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria ⋮ Estimation of the sensitivity of linear and nonlinear algebraic problems ⋮ An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory ⋮ A geometric approach for computing a posteriori error bounds for the solution of a linear system ⋮ Epsilon-inflation with contractive interval functions ⋮ On systems of algebraic equations with parametric exponents. II ⋮ Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces ⋮ Computing enclosures for the inverse square root and the sign function of a matrix ⋮ Verification for existence of solutions for some generalized obstacle problems ⋮ Numerical verifications for eigenvalues of second-order elliptic operators ⋮ A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems ⋮ A numerical verification of solutions of free boundary problems ⋮ Verified numerical computations for an inverse elliptic eigenvalue problem with finite data ⋮ A numerical approach to the proof of existence of solutions for some generalized obstacle problems ⋮ An Algorithm for the Intersection Problem of Planar Parametric Curves ⋮ Fast enclosure for solutions in underdetermined systems ⋮ A dynamical interval Newton method ⋮ Hybrid norms and bounds for overdetermined linear systems ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator ⋮ Computational proofs of the existence of solutions to elasto-plastic torsion problems ⋮ Interval analysis: Theory and applications ⋮ Numerical verification of solutions for a simplified Signorini problem ⋮ Including iterations for the Lambda-matrix eigenproblem ⋮ Reliable computation of eigenvalues of the magnetostatic integral operator ⋮ A survey of non-probabilistic uncertainty treatment in finite element analysis
This page was built for publication:
