scientific article
From MaRDI portal
Publication:3730926
zbMath0597.65018MaRDI QIDQ3730926
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (49)
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 ⋮ 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:
