Publication:3730926
From MaRDI portal
zbMath0597.65018MaRDI QIDQ3730926
Publication date: 1983
65F15: Numerical computation of eigenvalues and eigenvectors of matrices
65H05: Numerical computation of solutions to single equations
65F05: Direct numerical methods for linear systems and matrix inversion
65Fxx: Numerical linear algebra
Related Items
Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria, Verified numerical computations for an inverse elliptic eigenvalue problem with finite data, A filtering method for the interval eigenvalue problem, Verified error bounds for solutions of Sylvester matrix equations, A survey of non-probabilistic uncertainty treatment in finite element analysis, On regular and singular interval systems, Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics, Interval linear systems: the state of the art, On systems of algebraic equations with parametric exponents. II, A numerical approach to the proof of existence of solutions for some generalized obstacle problems, Fast enclosure for solutions in underdetermined systems, Including iterations for the Lambda-matrix eigenproblem, Solution of linear systems with verified accuracy, Estimation of the sensitivity of linear and nonlinear algebraic problems, A geometric approach for computing a posteriori error bounds for the solution of a linear system, On computational proofs of the existence of solutions to nonlinear parabolic problems, Verified computation of Lamé functions with high accuracy, Numerical verification of solutions for some unilateral boundary value problems., Numerical verification of solutions for obstacle problems., 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, Reliable computation of eigenvalues of the magnetostatic integral operator, A numerical verification of solutions of free boundary problems, Hybrid norms and bounds for overdetermined linear systems, 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, Checking bounds on solutions of linear interval equations is NP-hard, Epsilon-inflation in verification algorithms, Epsilon-inflation with contractive interval functions, Verification for existence of solutions for some generalized obstacle problems, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, A numerical approach to the proof of existence of solutions for elliptic problems II
