An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782): Difference between revisions

Latest revision as of 21:49, 28 May 2024

scientific article; zbMATH DE number 1340246

Language	Label	Description	Also known as
English	An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness	scientific article; zbMATH DE number 1340246

Statements

instance of

scholarly article

0 references

title

An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (English)

0 references

0 references

0 references

0 references

Numerical Functional Analysis and Optimization

0 references

publication date

5 June 2000

0 references

zbMATH Keywords

result verification

0 references

existence

0 references

local uniqueness

0 references

nonlinear elliptic equations

0 references

numerical example

0 references

Emden equation

0 references

describes a project that uses

PROFIL/BIAS

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1080/01630569908816910

0 references

cites work

Q4073917

0 references

PROFIL/BIAS - A fast interval library

0 references

A numerical approach to the proof of existence of solutions for elliptic problems

0 references

A numerical approach to the proof of existence of solutions for elliptic problems II

0 references

A numerical verification method for the existence of weak solutions for nonlinear boundary value problems

0 references

Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method

0 references

Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method

0 references

Bounds for eigenvalues of second-order elliptic differential operators

0 references

Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems

0 references

Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems

0 references

On the solution of interval linear systems

0 references

Best constant in Sobolev inequality

0 references

Numerical verifications of solutions for nonlinear elliptic equations

0 references

Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element

0 references

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

0 references

Q3706042

0 references

Identifiers

zbMATH Open document ID

0938.65137

0 references

DOI

10.1080/01630569908816910

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4265782

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/01630569908816910
+Normal rank
@@ Property / OpenAlex ID @@
+W1996282011
@@ Property / OpenAlex ID: W1996282011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073917
@@ Property / cites work: Q4073917 / rank @@
+Normal rank
@@ Property / cites work @@
+PROFIL/BIAS - A fast interval library
@@ Property / cites work: PROFIL/BIAS - A fast interval library / rank @@
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems II
+Normal rank
@@ Property / cites work @@
+A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
+Normal rank
@@ Property / cites work @@
+Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
+Normal rank
@@ Property / cites work @@
+Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
+Normal rank
@@ Property / cites work @@
+Bounds for eigenvalues of second-order elliptic differential operators
+Normal rank
@@ Property / cites work @@
+Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
+Normal rank
@@ Property / cites work @@
+On the solution of interval linear systems
@@ Property / cites work: On the solution of interval linear systems / rank @@
+Normal rank
@@ Property / cites work @@
+Best constant in Sobolev inequality
@@ Property / cites work: Best constant in Sobolev inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical verifications of solutions for nonlinear elliptic equations
+Normal rank
@@ Property / cites work @@
+Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+Q3706042
@@ Property / cites work: Q3706042 / rank @@
+Normal rank