scientific article; zbMATH DE number 4150839
From MaRDI portal
Publication:3480512
Recommendations
- A numerical approach to the proof of existence of solutions for elliptic problems
- scientific article; zbMATH DE number 4200737
- A numerical approach to the proof of existence of solutions for elliptic problems II
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Numerical verifications of solutions for nonlinear elliptic equations
Cited in
(20)- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- Numerical verification of solutions for obstacle problems using a Newton-like method
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
- Numerical verifications for eigenvalues of second-order elliptic operators
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- Numerical verification for elliptic boundary value problem with nonconforming \(\mathcal{P}_1\) finite elements
- scientific article; zbMATH DE number 440800 (Why is no real title available?)
- scientific article; zbMATH DE number 4178671 (Why is no real title available?)
- scientific article; zbMATH DE number 4200737 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- scientific article; zbMATH DE number 1066352 (Why is no real title available?)
- scientific article; zbMATH DE number 780745 (Why is no real title available?)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
- Numerical verifications of solutions for nonlinear elliptic equations
- A numerical verification method for two-coupled elliptic partial differential equations
- 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)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3480512)