The following pages link to (Q3730926):
Displayed 49 items.
- A certified numerical algorithm for the topology of resultant and discriminant curves (Q346543) (← links)
- Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one (Q385011) (← links)
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory (Q481617) (← links)
- A filtering method for the interval eigenvalue problem (Q628862) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces (Q684197) (← links)
- Verified error bounds for singular solutions of nonlinear systems (Q747729) (← links)
- A survey of non-probabilistic uncertainty treatment in finite element analysis (Q817354) (← links)
- On regular and singular interval systems (Q861875) (← links)
- Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics (Q868686) (← links)
- Interval linear systems: the state of the art (Q880921) (← links)
- On systems of algebraic equations with parametric exponents. II (Q945002) (← links)
- A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
- Fast enclosure for solutions in underdetermined systems (Q989149) (← links)
- Including iterations for the Lambda-matrix eigenproblem (Q1058262) (← links)
- Solution of linear systems with verified accuracy (Q1101865) (← links)
- Estimation of the sensitivity of linear and nonlinear algebraic problems (Q1175272) (← links)
- A geometric approach for computing a posteriori error bounds for the solution of a linear system (Q1179535) (← links)
- On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← links)
- Verified computation of Lamé functions with high accuracy (Q1377265) (← links)
- Numerical verification of solutions for some unilateral boundary value problems. (Q1416288) (← links)
- Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
- Computational proofs of the existence of solutions to elasto-plastic torsion problems (Q1585831) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Numerical verification of solutions for a simplified Signorini problem (Q1591946) (← links)
- Reliable computation of eigenvalues of the magnetostatic integral operator (Q1596749) (← links)
- A heuristic method for certifying isolated zeros of polynomial systems (Q1634514) (← links)
- A numerical verification of solutions of free boundary problems (Q1767948) (← links)
- Hybrid norms and bounds for overdetermined linear systems (Q1805230) (← links)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193) (← links)
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q1877202) (← links)
- Checking bounds on solutions of linear interval equations is NP-hard (Q1894514) (← links)
- Epsilon-inflation in verification algorithms (Q1900758) (← links)
- Epsilon-inflation with contractive interval functions (Q1979002) (← links)
- A dynamical interval Newton method (Q2034215) (← links)
- Certified numerical real root isolation for bivariate nonlinear systems (Q2156364) (← links)
- Verified error bounds for real eigenvalues of real symmetric and persymmetric matrices (Q2217866) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
- Verification for existence of solutions for some generalized obstacle problems (Q2484663) (← links)
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- Fast simulation for Gaussian random fields on compact Riemannian manifolds (Q2684077) (← links)
- Enclosures for the solution set of parametric interval linear systems (Q2934496) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems II (Q3204851) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)