高小山研究员代表项目组介绍了立项背景、研究内容、预期目标、课题设置、研究队伍、工作安排等。他指出，本项目将重点从“数学机械化理论与高效算法”和“数字化设计制造与数控系统”两大方面来进行研究，针对数字化设计制造与数控系统核心问题，发展高效算法，达到实时性、精确性、最优化；总结出有共性的数学与算法问题，开拓数学机械化新方向，努力保持我们的特色与在若干方面的领先地位。
科技部基础司重大项目处处长张延东在讲话中指出，“十二五”期间，973项目应该特别注意三个方面。一是应重点突出，涉及面不宜太广，要重点研究面向若干国家重大需求的关键问题；二是更加突出强化科学目标导向，从需求中提炼重大科学问题，推动我国基础研究的发展；三是更加注重团队建设。他希望本项目在前期取得的突出成绩的基础上，再上一个台阶。
中科院基础科学局数理处处长王永祥强调，中科院的办院方针是面向国家战略需求，面向世界科学前沿，加强原始科学创新，加强关键技术创新与集成，为国家安全和社会可持续发展做出贡献。科学院将继续发挥基础研究的优势，将其转化成变革性技术，从而推动产业结构的升级。作为项目的依托单位，我们将继续为项目提供良好的环境和平台。
与会专家积极建言献策，就数学机械化最新进展与数字化设计与数控系统核心问题进行了深入的学术交流。