The following pages link to (Q4364444):
Displayed 12 items.
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory (Q481617) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← 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 Parallel Newton Multigrid Method for High Order Finite Elements and Its Application to Numerical Existence Proofs for Elliptic Boundary Value Equations (Q4343860) (← links)
- A Parallel Newton Multigrid Method for High Order Finite Elements and Its Application to Numerical Existence Proofs for Elliptic Boundary Value Equations (Q4358218) (← links)
- A Parallel Newton Multigrid Method for High Order Finite Elements and Its Application to Numerical Existence Proofs for Elliptic Boundary Value Equations (Q4362661) (← links)
- A Parallel Newton Multigrid Method for High Order Finite Elements and Its Application to Numerical Existence Proofs for Elliptic Boundary Value Equations (Q4389427) (← links)
- VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS (Q5020330) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)