Pages that link to "Item:Q1193187"

The following pages link to Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems (Q1193187):

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)
• A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
• A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
• Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← 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)
• Certified error bounds for uncertain elliptic equations (Q930711) (← links)
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems (Q998643) (← links)
• A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
• Shape-invariant bounds for reaction-diffusion systems with unequal diffusion coefficients (Q1111766) (← links)
• Pointwise bounds for linear reaction-diffusion systems and an extension to nonlinear problems (Q1118754) (← links)
• Bounds for eigenvalues of second-order elliptic differential operators (Q1186489) (← links)
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)
• On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← links)
• Bounds for the \(N\) lowest eigenvalues of fourth-order boundary value problems (Q1365537) (← 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)
• Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← 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)
• Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof (Q1593769) (← links)
• Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements (Q1742892) (← links)
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems (Q1900760) (← links)
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
• A numerical existence proof of nodal lines for the first eigenfunction of the plate equation (Q1924928) (← links)
• Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
• Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
• A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← links)
• Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
• Linearization of elasticity models for incompressible materials (Q2150909) (← links)
• Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
• A counterexample to Payne's nodal line conjecture with few holes (Q2246951) (← links)
• Numerical verifications for eigenvalues of second-order elliptic operators (Q2258353) (← links)
• An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space (Q2318498) (← links)
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← 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)
• A Self-Concordant Interior Point Approach for Optimal Control with State Constraints (Q2954395) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
• Stability estimates for systems with small cross-diffusion (Q4561154) (← links)
• Numerical verification for solutions to partial differential equations (Q4568286) (← links)
• VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS (Q5020330) (← links)
• Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
• Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem (Q5047142) (← links)