Pages that link to "Item:Q5929750"

The following pages link to Computer-assisted enclosure methods for elliptic differential equations (Q5929750):

Displaying 34 items.

• A priori error analysis of two force-based atomistic/continuum models of a periodic chain (Q639373) (← links)
• Computational fixed-point theory for differential delay equations with multiple time lags (Q665977) (← links)
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
• Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
• Some remarks on the behaviour of the finite element solution in nonsmooth domains (Q847399) (← links)
• Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator (Q896526) (← links)
• Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications (Q930708) (← links)
• A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
• Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
• Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
• New solutions of the Gelfand problem (Q1614680) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
• Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
• Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
• Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
• Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
• Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
• Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• A-posteriori error estimates for optimal control problems with state and control constraints (Q2428548) (← links)
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
• An analytic approach to solve multiple solutions of a strongly nonlinear problem (Q2571937) (← links)
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
• A Posteriori Verification of Optimality Conditions for Control Problems with Finite-Dimensional Control Space (Q2895676) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
• A priori and a posteriori analysis of the quasinonlocal quasicontinuum method in 1D (Q3015036) (← links)
• Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
• Global smooth solution curves using rigorous branch following (Q3584839) (← links)
• Numerical verification for solutions to partial differential equations (Q4568286) (← links)
• Adaptive Local Minimax Galerkin Methods for Variational Problems (Q4997359) (← links)
• Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Analysis of a quasicontinuum method in one dimension (Q5447490) (← links)