高小山的研究项目

高小山的研究项目

国家重点基础研究发展计划（973）项目:“数学机械化方法及其在信息技术中的应用”，2004年-2009年，首席科学家。
国家重点基础研究发展规划（973）项目:“数学机械化与自动推理平台”，1999年-2003年，首席科学家。
国家杰出青年基金，1998年—2000年。
国家攀登计划“数学机械化及其应用”子项目负责人，1997年。
国家攀登计划“机器证明及其应用”子项目负责人，1992年－1996年。
863计划“智能计算机” 主题子课题“吴方法软件研究”负责人，1991年－1993年。
美国自然科学基金 CCR-9117870, 1992年-1994年,“Mechanical Theorem Proving in Geometry and Mechanics”，主要参加人员。
美国自然科学基金 CCR-9420857, 1995年-1998年，“Automated Generation of Readable Proofs in Geometry”，主要参加人员。
美国自然科学基金 CCR-0201253, 2002年-2004年, “Automated Geometry Reasoning and Methods fir Diagram Generation”,共同主持人（CO-PI）。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息