On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection (Q964975): Difference between revisions

@@ Property / cites work @@
+Numerical verifications of solutions for nonlinear elliptic equations
+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 verifications of solutions for elliptic equations in nonconvex polygonal domains
+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 @@
+Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
+Normal rank
@@ Property / cites work @@
+Q4100478
@@ Property / cites work: Q4100478 / rank @@
+Normal rank
@@ Property / cites work @@
+On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
+Normal rank
@@ Property / cites work @@
+Q4448960
@@ Property / cites work: Q4448960 / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
+Normal rank
@@ Property / cites work @@
+Techniques of scientific computing (Part 2)
@@ Property / cites work: Techniques of scientific computing (Part 2) / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 763: INTERVAL_ARITHMETIC
@@ Property / cites work: Algorithm 763: INTERVAL_ARITHMETIC / rank @@
+Normal rank