A numerical verification method for two-coupled elliptic partial differential equations (Q849177): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Cholesky method for interval data
@@ Property / cites work: The Cholesky method for interval data / rank @@
+Normal rank
@@ Property / cites work @@
+A Maximum Principle for an Elliptic System and Applications to Semilinear Problems
+Normal rank
@@ Property / cites work @@
+Q4874512
@@ Property / cites work: Q4874512 / rank @@
+Normal rank
@@ Property / cites work @@
+On steady state solutions of a system of reaction-diffusion equations from biology
+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 @@
+Q4284594
@@ Property / cites work: Q4284594 / rank @@
+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 @@
+Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
+Normal rank
@@ Property / cites work @@
+Solutions with internal jump for an autonomous elliptic system of FitzHugh–Nagumo type
+Normal rank
@@ Property / cites work @@
+Global existence of branches of stationary solutions for a system of reaction diffusion equations from biology
+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 @@
+Q4321536
@@ Property / cites work: Q4321536 / rank @@
+Normal rank
@@ Property / cites work @@
+On the monotonicity of the time-map
@@ Property / cites work: On the monotonicity of the time-map / rank @@
+Normal rank
@@ Property / cites work @@
+On the bifurcation curve for an elliptic system of FitzHugh-Nagumo type
+Normal rank
@@ Property / cites work @@
+Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
+Normal rank
@@ Property / cites work @@
+Numerical verifications of solutions for nonlinear elliptic equations
+Normal rank
@@ Property / cites work @@
+A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
+Normal rank
@@ Property / cites work @@
+Q4799948
@@ Property / cites work: Q4799948 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:849177