中科信息官网首页，中科信息杯比赛中共中央、国务院印发的《数字中国建设总体布局》中，明确将数字文化作为数字技术深度融合的重点方向。加强生态合作，拥抱数字时代。华为中国行2023成都站走进中科信息活动取得圆满成功。主要研究项目“几何定理机器证明理论与算法新进展”荣获中国科学院自然科学奖一等奖。其成果获1...