Deciding ellipticity with quantifier elimination - Seiler, Werner M.; Weber, Andreas (Computer algebra in scientific computing, 2003)