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

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

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.