Algorithms and Software for Singular Polynomial Systems

奇异多项式系统的算法和软件

• 批准号: 0914802
• 负责人: David Marker
• 金额: $ 15.84万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-07-01 至 2012-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0914802&HistoricalAwards=false
• 关键词: Algorithms; Software; Singular; Polynomial; Systems

This award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).In this project the PI will develop robust symbolic-numerical methods for solving singular polynomial systems and decomposing singular varieties. These algorithms would obtain information about a singular variety that the current regular methods can not deliver: in particular, discover embedded components of the solution set. This approach will lead to numerical algorithms that would solve problems that are intractable by symbolic primary decomposition routines. A major part of this project is software implementation. Macaulay2, a free open-source computer algebra system created by Grayson and Stillman, will make a platform for an efficient implementation of our algorithms. A package will be written in the Macaulay2 language with computationally intensive routines implemented in C++ in theMacaulay2 kernel. Since the basic routines for homotopy continuation scale well, parallel implementation of the aforementioned algorithms will be carried out where appropriate.Polynomial systems are ubiquitous in various mathematical models in science and engineering. Many, if not the majority, of the polynomial systems arising in the real world contain singular solution components. The produced software will help a broad range of scientists and engineers confronted with polynomial systems in their work. The students appointed as research assistants through this project will gain invaluable experience in mathematical research combined with programming and development of algorithms.

该奖项是根据2009年美国复苏和再投资法案（公法111-5）资助的。在这个项目中，PI将开发强大的符号-数值方法来解决奇异多项式系统和分解奇异品种。这些算法将获得关于当前常规方法无法提供的奇异多样性的信息：特别是，发现解决方案集的嵌入组件。这种方法将导致数值算法，将解决问题，是棘手的符号主要分解例程。这个项目的一个主要部分是软件实现。Macaulay 2是由Grayson和Stillman创建的免费开源计算机代数系统，将为高效实现我们的算法提供一个平台。一个软件包将在Macaulay 2语言中编写，并在Macaulay 2内核中用C++实现计算密集型例程。由于同伦延拓的基本程序具有很好的规模，因此将在适当的情况下并行实现上述算法。多项式系统在科学和工程中的各种数学模型中无处不在。在真实的世界中产生的多项式系统中，即使不是大多数，也有许多包含奇异解分量。所产生的软件将帮助广泛的科学家和工程师在工作中遇到多项式系统。通过这个项目被任命为研究助理的学生将获得数学研究与编程和算法开发相结合的宝贵经验。