SI2-SSE: Collaborative Proposal: Symbolic-Numeric Approaches to Polynomials

多项式系统自然而然地出现在人类工作的许多领域。这些包括肿瘤生长的模型；机器人设备的设计；从燃烧到血液凝固等领域产生的化学系统；物理学中的各种问题；以及许多数学领域。多项式系统的解回答了对这些努力至关重要的问题。这项研究将致力于开发下一代Bertini，这是一个开源软件包，已经被许多研究人员在许多问题上成功地使用，包括上述所有问题。Bertini将用C语言重写为可脚本化和模块化，从而使其能够与符号软件透明地接口。新的贝尔蒂尼将包括允许用户根据贝尔蒂尼的输出构造和操作同伦的工具。研究的主要焦点将放在由微分方程组的离散化产生的多项式系统上。这些非常大的多项式系统的巨大挑战被新的高效和健壮的求解方法将具有的巨大潜在影响所平衡。

Polynomial systems arise naturally in many areas of human endeavor. These include the modeling of tumor growth; the design of robotic devices; chemical systems arising in areas ranging from combustion to blood clotting; assorted problems in physics; plus many areas with mathematics. The solution of the polynomial systems answers questions critical to these endeavors. This research will be devoted to developing the next generation of Bertini, an open source software package, which has been used successfully by many researchers on many problems, which include all those mentioned above.Bertini will be rewritten in C++ to be scriptable and modular, which will allow it to be interfaced transparently with symbolic software. The new Bertini will include tools allowing the user to construct and manipulate homotopies based on the output of Bertini. A major focus of the research will be given to systems of polynomials arising from the discretization of systems of differential equations. The great challenge of these very large systems of polynomials is balanced by the great potential impact new efficient and robust methods of solution will have.