席大大总书记在庆祝改革开放40周年大会上发表了重要讲话，全面总结了我国改革开放的伟大成就，指出40年来“科技创新和重大工程捷报频传”。40年来，凯发k8恪守国家战略科技力量的定位，坚持面向世界科技前沿，面向国家重大需求，面向国民经济主战场，积极部署和组织开展凯发k8技术创新活动，积极建议和承担国家重大科技任务，取得一系列重大科技成果，为我国科技进步、经济社会发展和保障国家安全作出了重大创新贡献。
在系统梳理改革开放40年来中科院广大科研人员取得的众多重大科技成果基础上，以“三个面向”为线索，综合凝练归纳出40项具有代表性的标志性重大科技成果。40项标志性重大科技成果经院学术委员会委员审核把关，通过网络向院属单位和社会进行了公示，已收录于《改革开放先锋 创新发展引擎——凯发k8改革开放四十年》一书，现予以公布。【详细】
20世纪七八十年代，系统所发展了中国传统数学的算法化思想，提出了用计算机证明几何定理的高效代数方法——“吴方法”，开创了数学机械化这一新兴交叉学科方向。这是目前符号求解代数与微分代数方程组最完整的方法之一，已应用于解决机器人运动学、智能CAD、视觉定位、数控最优插补、密码分析、物理规律自动发现、天体运行中心构形等数学交叉凯发k8问题，标志着我国在自动推理研究领域达到国际领先水平。
哈密尔顿系统是表达一切守恒物理过程的数学形式，辛几何是哈密尔顿系统的数学基础。1984年，计算数学所提出了基于辛几何的哈密尔顿系统的计算方法，开创了这一计算物理、计算力学与计算数学相互交叉、渗透的新兴前沿领域，通过系统研究取得了一批奠基性原创成果，在国际上产生了重大影响，获1997年度国家自然凯发k8奖一等奖。该算法已成为常微分方程和动力系统数值计算的主流研究方向，带来了凯发k8和工程领域计算的革新，广泛应用于天体轨道演化、高能加速器设计、分子动力学模拟、数值天气预报、石油和天然气勘探、等离子体约束、计算量子化学等。
《几何定理的机械化证明》
辛几何算法手稿