In the approximation of linear elliptic operators in mixed form, it is well known that the so-called inf-sup and ellipticity in the kernel properties are sufficient (and, in a sens...
This paper describes some observations derived from teaching a course in software engineering to a mixed audience of undergraduates and professional Master's degree students ...
Abstract. We study simple classes of mixed Horn formulas, in which the structure of the Horn part is drastically constrained. We show that the SAT problem for formulas in these cla...
We derive in this paper a unified framework for a priori and a posteriori error analysis of mixed finite element discretizations of second-order elliptic problems. It is based on ...
In [Z. Cai, C. Tong, P. S. Vassilevski, and C. Wang, Numer. Methods Partial Differential Equations, to appear], the authors developed and analyzed a mixed finite element method for...