Computational Approaches for Mathematical Sciences

我们举办了第十届亚洲逻辑大会和第三届国际数学软件大会，为社会各界研究计算和数学科学做出了广泛贡献。我们已经得到了几个结果。其中，利用完整系统的计算机代数算法和数值算法求出给定完整函数的局部极小值的算法，是没有本课题所不能得到的结果。我们希望这种方法可以应用于统计中的估计问题，这是在一个新的项目中进行的。

We hosted the 10th Asian logic conference and the third international congress on mathematical software and made broad contributions to communities to study computation and mathematical sciences. We have obtained several results. Among them, a result which could not be obtained without this project is an algorithm to find a local minimum of a given holonomic function by utilizing computer algebra algorithms and numerical algorithms for holonomic systems. We expect that this method can be applied to estimation problems in statistics, which is in progress in a new project.