期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

数学猜猜看

下载PDF

导出

摘要在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，

出处《小学生故事与作文》 2010年第4期31-31,共1页

关键词中国数学史自动推理机器证明代数几何拓扑学对策论国内外

分类号 O112 [理学—基础数学]

引文网络
相关文献

1殷堰工.数学定理的机器证明[J].科技潮,1997(11):33-33. 被引量：1
2姚卫红.享有五个小函数的亚纯函数的唯一性[J].山东大学学报（理学版）,2001,36(3):263-267. 被引量：3
3王世强,别荣芳,史璟.关于机器证明[J].前沿科学,2011,5(1):76-77. 被引量：1
4赵子都.一门新学科：定理机器证明[J].自动化博览,1990(3):4-5.
5张景中.机器证明的回顾与展望[J].大自然探索,1997,16(1):6-9. 被引量：5
6INSTRUCTIONS TO AUTHORS[J].Chinese Annals of Mathematics,Series B,2016,37(1).
7INSTRUCTIONS TO AUTHORS[J].Chinese Annals of Mathematics,Series B,2015,36(6).
8INSTRUCTIONS TO AUTHORS[J].Chinese Annals of Mathematics,Series B,2015,36(5).
9INSTRUCTIONS TO AUTHORS[J].Chinese Annals of Mathematics,Series B,2016,37(3).
10INSTRUCTIONS TO AUTHORS[J].Chinese Annals of Mathematics,Series B,2016,37(2).

小学生故事与作文

2010年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部