Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations. - Christopher W. Brown 001; Sjaak de Vlaming; George Nakos (Algorithmic Algebra and Logic, 2005)