Pages that link to "Item:Q3469483"

The following pages link to A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483):

Displaying 50 items.

• An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
• Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions (Q269358) (← links)
• Fast interval matrix multiplication (Q451807) (← links)
• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
• Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← links)
• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations (Q729841) (← links)
• Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
• Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
• Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
• Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic (Q902736) (← links)
• Définition d'une méthodologie de démonstration numérique d'existence de solution d'équations elliptiques semi-linéaires. (Definition of a method to prove numerically the existence of solutions of semilinear elliptic equations) (Q914052) (← links)
• Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications (Q930708) (← links)
• Certified error bounds for uncertain elliptic equations (Q930711) (← links)
• A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)
• A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations (Q1298533) (← 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 elliptic problems using an \(L^\infty\) residual method (Q1378621) (← links)
• Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
• Numerical verification of solutions for elasto-plastic torsion problems (Q1570141) (← links)
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759) (← links)
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
• Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
• Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
• Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
• A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator (Q2217873) (← links)
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
• Error constants for the semi-discrete Galerkin approximation of the linear heat equation (Q2233972) (← links)
• Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
• Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
• Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
• A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
• Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
• Numerical Verification for Elliptic Boundary Value Problem with Nonconforming $$\mathcal {P}_1$$ Finite Elements (Q2803609) (← links)
• A numerical approach to the proof of existence of solutions for elliptic problems II (Q3204851) (← links)
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
• Numerical verification for solutions to partial differential equations (Q4568286) (← links)
• Numerical verifications of solutions for elliptic equations with strong nonlinearity (Q4711183) (← links)
• A Numerical Verification Method for a System of FitzHugh-Nagumo Type (Q4899071) (← links)
• A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
• Numerical Verification Methods for Solutions of the Free Boundary Problem (Q5704525) (← links)