数学机械化重点实验室举办实验室战略发展学术研讨会
副标题：
时间：2004-11-10 来源：数学机械化重点实验室
2004年11月8-9日，数学机械化重点实验室在香山别墅举行了实验室战略发展学术研讨会。李邦河院士介绍了吴方法和特征列在代数几何中的应用，刘木兰介绍了信息安全理论的发展，李洪波介绍了零括号代数及其几何应用，高小山综述了特征列方法与方程求解的最新进展，李子明介绍了微分差分方程机械化求解的最新情况，支丽红介绍了多项式混合计算的最新情况。最后，吴文俊院士作了会议总结。他说：听了两天的报告，非常高兴，讲两点看法，一是现在讲的吴方法或特征列方法源于中国的古代数学。二是，最近温总理讲到用计算机进行理论研究，是思维和工具的结合。我们现在要充分利用计算机这个工具开展数学研究。
