Pages that link to "Item:Q1193173"
From MaRDI portal
The following pages link to A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173):
Displaying 41 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory (Q481617) (← links)
- A framework of verified eigenvalue bounds for self-adjoint differential operators (Q669702) (← links)
- Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← links)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions (Q849195) (← links)
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q875360) (← links)
- On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection (Q964975) (← links)
- A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
- Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains (Q1326465) (← links)
- On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← links)
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points (Q1370920) (← links)
- Numerical verification of solutions for nonlinear hyperbolic equations (Q1375852) (← links)
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
- Numerical verification of solutions for some unilateral boundary value problems. (Q1416288) (← links)
- Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
- Numerical verification of solutions for obstacle problems using a Newton-like method (Q1570139) (← links)
- Numerical verification of solutions for elasto-plastic torsion problems (Q1570141) (← links)
- A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness (Q1585548) (← links)
- Computational proofs of the existence of solutions to elasto-plastic torsion problems (Q1585831) (← links)
- Numerical verification of solutions for a simplified Signorini problem (Q1591946) (← links)
- Numerical verification of solutions for variational inequalities of the second kind (Q1609070) (← links)
- Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements (Q1742892) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
- Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
- Numerov's method for non-linear two-point boundary value problems (Q3681866) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS (Q5020330) (← links)
- Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem (Q5232291) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
