中科院重要方向项目《基于数学机械化方法的高档数控系统》于5月24-25日在数学院举行第二次现场交流会。会议通过九场学术报告和认真讨论，对本项目承担的任务形成了比较完整的方案，为下一步实施编程提供了基础，并决定首先针对两种典型的数控机床实施所提方案，尽快在工程化应用方面取得进展。