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.
翻译:我们利用实际代数几何学的计算工具研究二次曲线领域的存在和独特性问题,这些问题被转化成关于相关实际半代数系统解决方案数量的问题,使用真正的全面三角分解法对半代数系统进行分析。