王跃飞表示，数学学院将继续在人力、物力、财力等方面大力支持973项目，确保项目的顺利实施和国家数学中心平台任务的圆满完成。 中国科学院交叉学科.

  熊友伦院士、李邦和院士代表项目专家组发言。 他们指出，数字化、信息化、智能化、网络化是制造业领域的主流方向。 在工程和制造领域，当问题深入时，就会变成数学问题。 如何实现从制造向制造科学的跨越？ 数学的机械化非常重要。 他们期望该项目能够在数学和先进制造的交叉领域取得辉煌的成果。

  高晓山研究员代表项目组介绍了项目背景、研究内容、预期目标、课题设置、研究团队、工作安排等。他指出，本项目将重点从“数学机械化”两大方面进行研究。 理论和高效算法”和“数字设计、制造和数控系统”。 围绕数字化设计、制造和数控系统的核心问题，开发高效算法，实现实时性、准确性和优化； 总结常见数学算法问题，探索数学机械化新方向，力争在多个方面保持特色和领先地位。

  科技部基础司重大专项处处长张延东在讲话中指出，“十二五”期间，973工程要特别关注三个方面。 第一，要有重点，不能太宽泛。 聚焦重点问题，满足各国重大需求； 二是更加突出重点，强化科学目标导向，从需求中提炼重大科学问题，推动我国基础研究发展。 三是更加注重团队建设。 他希望该项目在前期取得的优异成绩的基础上，再上一个台阶。

  中国科学院基础科学局数理部主任王永祥强调，中科院的方针是面向国家战略需求和世界科学前沿，加强原创科学 创新，加强关键技术创新和集成，为国家安全和社会可持续发展做出贡献。科学院将继续发挥基础研究优势，转化为变革性技术，推动产业结构升级。 作为项目的支持单位，我们将继续为项目提供良好的环境和平台。