Numerical verification method for positive solutions of elliptic problems (Q2297084): Difference between revisions

@@ Property / DOI @@
-.1016/j.cam.2019.112647
@@ Property / DOI: 10.1016/j.cam.2019.112647 / rank @@
-Normal rank
@@ Property / cites work @@
+On the Existence of Positive Solutions of Semilinear Elliptic Equations
+Normal rank
@@ Property / cites work @@
+Symmetry and related properties via the maximum principle
+Normal rank
@@ Property / cites work @@
+Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
+Normal rank
@@ Property / cites work @@
+Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle
+Normal rank
@@ Property / cites work @@
+Bifurcation and symmetry breaking for a class of semilinear elliptic equations in an annulus
+Normal rank
@@ Property / cites work @@
+Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+Computer-assisted existence proofs for two-point boundary value problems
+Normal rank
@@ Property / cites work @@
+Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
+Normal rank
@@ Property / cites work @@
+Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain
+Normal rank
@@ Property / cites work @@
+Numerical verification of positiveness for solutions to semilinear elliptic problems
+Normal rank
@@ Property / cites work @@
+On a maximum principle for weak solutions of some quasi-linear elliptic equations
+Normal rank
@@ Property / cites work @@
+Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods
+Normal rank
@@ Property / cites work @@
+Q3943431
@@ Property / cites work: Q3943431 / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence and Applications of Newton-type Iterations
+Normal rank
@@ Property / cites work @@
+New general convergence theory for iterative processes and its applications to Newton-Kantorovich type theorems
+Normal rank
@@ Property / cites work @@
+Weaker conditions for the convergence of Newton's method
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448960
@@ Property / cites work: Q4448960 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
+Normal rank
@@ Property / cites work @@
+A framework of verified eigenvalue bounds for self-adjoint differential operators
+Normal rank
@@ Property / cites work @@
+Computer-assisted enclosure methods for elliptic differential equations
+Normal rank
@@ Property / cites work @@
+Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
+Normal rank
@@ Property / DOI @@
+.1016/J.CAM.2019.112647
@@ Property / DOI: 10.1016/J.CAM.2019.112647 / rank @@
+Normal rank