亚热带实根求解
摘要：用于大型多变量多项式的实根求解的一种新型不完全但终止的方法描述。我们将多项式抽象化为与系数的符号信息相关联的指数向量集合。然后，我们利用线性规划启发式地找到根。对于仅具有正坐标的根，我们有一种专门的变体，这在化学和系统生物学的应用中非常有意义。我们的方法将计算机代数系统Reduce与线性规划求解器Gurobi结合起来实现，并成功地应用于这些领域已建立的数学模型中的输入数据。我们已解决了数百个问题，其中包含多达800,000个单项式的最多10个变量，并且阶数最大为12。由于不完整性，我们的方法在不到8%的案例中失败。
作者：Thomas Sturm
论文ID：1501.04836
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-04-30