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.