Pages that link to "Item:Q1174351"

The following pages link to Computer-assisted existence proofs for two-point boundary value problems (Q1174351):

Displaying 21 items.

• A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← 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 existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)
• Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution (Q1365540) (← links)
• Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
• Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound (Q1600368) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← 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 symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
• Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
• Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
• On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems (Q2454037) (← links)
• A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
• Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)