U.S.-China Cooperative Research: Symbolic Computation Algorithms and Systems for Polynomial Computations

中美合作研究：多项式计算的符号计算算法和系统

• 批准号: 9722919
• 负责人: Paul Wang
• 金额: $ 2.75万
• 依托单位: Kent State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-02-01 至 2003-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9722919&HistoricalAwards=false
• 关键词: U.S.; China; Cooperative; Research; Symbolic

9722919 Wang This award supports cooperative research in symbolic computation algorithms and systems for polynomial computations between Paul Wang, Kent State University, Institute for Computational Mathematics, and Liu Zhuojun, Mathematics Mechanization Research Center, Institute of Systems Science, Chinese Academy of Sciences. The cooperation brings together the knowledge, expertise, and experience in parallel symbolic computing of the mathematical computation group at Kent State and the sophisticated knowledge of Groebner bases and characteristic sets of the Chinese Academy of Sciences group. Given the strengths of the research teams in both the US and China, there is good potential for significant advances from the research. Such advances could be useful to applications ranging from operations research to airline scheduling.

小行星9722919 该奖项支持肯特州立大学计算数学研究所Paul Wang和中国科学院系统科学研究所数学机械化研究中心刘卓君在多项式计算的符号计算算法和系统方面的合作研究。此次合作汇集了肯特州立大学数学计算小组在并行符号计算方面的知识、专业知识和经验，以及中国科学院小组在Groebner基础和特征集方面的复杂知识。 考虑到美国和中国研究团队的优势，这项研究有很大的潜力取得重大进展。这些进展可能对从运筹学到航空公司调度的应用都很有用。