期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

数学有了试金石

原文传递

导出

摘要一条定理正确与否必须经过论证．论证过程往往长而又长……如今。一款名为“COQ”的软件可以自动对定理进行检验．判定其对错，而且绝无出错可能。数学研究迎来了一场革命!

作者 Philippe Pajot 陈雯洁(编译)

出处《新发现》 2013年第11期64-67,共4页 Science & Vie

关键词数学研究金石论证过程定理

分类号 G256.22 [文化科学—图书馆学]

引文网络
相关文献

1铁铮.关注名人的什么更重要[J].中国记者,2007(11):94-94.
2刘日.检验科学发展的试金石[J].思想政治工作研究,2009(2):16-18.
3Abstracts[J].教学研究,2012,35(2):123-124.
4张文莉.浅谈学术信息的开放获取[J].科学咨询,2007(7):28-29.
5Abstracts[J].教学研究,2012,35(4):123-124.
6程磊.关于“国际标准书号”的数学研究——从“中国标准书号”谈起[J].上海高校图书情报学刊,1994,4(4):10-12. 被引量：3
7声音[J].网络传播,2011(11):15-15.
8王少红.副刊如何吸引读者的几点思考[J].记者摇篮,2012(11):30-31.
9陈碧蓝.逆境是块试金石[J].聪明泉,2009(6):62-62.
10云弓.薪水定理[J].青年博览,2010(20):26-26.

新发现

2013年第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部