  We study questions of existence and uniqueness of quadrature domains using
computational tools from real algebraic geometry. These problems are
transformed into questions about the number of solutions to an associated real
semi-algebraic system, which is analyzed using the method of real comprehensive
triangular decomposition.
