|
|||||
|
|
| 数学机械化与自动推理平台 | |
| 作者单位： | |
| 摘 要： | 1 学术指导吴文俊 中国科学院数学与系统科学研究院研究员 ,中国科学院院士 ,第三世界科学院院士。1919年出生于上海。 194 0年毕业于上海交通大学数学系。 194 9年在法国斯特拉斯堡大学获法国国家科学博士学位。曾任中国科学院系统科学研究所名誉所长 ,中国数学会理事长。 1990年创建数学机械化中心 ,并任主任。研究工作涉及拓扑学、数学史、数学机械化等众多学术领域。 195 6年因在拓扑学中的示性类与示嵌类方面的卓越成就获中国自然科学奖一等奖 ,1980年获中国科学院自然科学奖一等奖 ,1990年获第三世界科学院数学奖 ,1993年获陈嘉庚… |
| 关 键 词： | 数学机械化 构造性研究 自动推理 |
| 修稿时间： | 2002年2月25日 |
Mathematic Mechanization and Automated Reasoning Platform |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学院院刊》浏览原始摘要信息 | |
| 点击此处可从《中国科学院院刊》下载免费的PDF全文 | |