A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204): Difference between revisions

@@ Property / describes a project that uses @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2092068986
@@ Property / OpenAlex ID: W2092068986 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Convergence of Some Interval-Arithmetic Modifications of Newton’s Method
+Normal rank
@@ Property / cites work @@
+An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+Q4284594
@@ Property / cites work: Q4284594 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+An efficient approach to the numerical verification for solutions of elliptic differential equations
+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 @@
+Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Computer-assisted enclosure methods for elliptic differential equations
+Normal rank
@@ Property / cites work @@
+Q3730926
@@ Property / cites work: Q3730926 / rank @@
+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