设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
gugeren的博客  
有则写之,无则空之  
https://blog.creaders.net/u/5804/ > 复制 > 收藏本页
网络日志正文
【数学】几个较好的数学定理数据库 2017-05-07 19:42:23

【数学】几个较好的数学定理数据库


本人的博文《人工智能的新天地:用机器证明定理》中,提到建立数学定理的数据库的必要性。


其实,除了此博文说的,建立数学定理数据库,可以为人工智能来证明数学定理提供基础之外,最现实的功能还在于,可以方便数学家们的工作,他们不必为了寻找数学文献而浪费宝贵的时间。只要手指在电脑键盘上敲几下,就可以知道围绕自己研究的题目的几乎所有的文献资料了。


本人利用周末,找到了一些比较好的数学定理数据库;尽管它们都不尽人意,只是提供了部分的时间段或几个数学领域的定理,而不是全部的定理数据库,但是至少它们开创了一些初步的工作。


1】

MathSciNet

http://www.ams.org/mathscinet/index.html


这是由美国数学学会(American Mathematical Society,AMS)根据它发行的杂志《Mathematical Reviews》【《数学评论》】,在网上刊登了自1940年发行以来的全部数字化内容。可惜需要订阅后才能阅读全文;一般人员只能阅读摘要。


2】

Cornell 大学图书馆设立的arXiv数据库

它收集了1990年代以来的几乎全部的数学论文。论文有摘要和全文,且似乎是对外免费开放的。除了数学,还有物理、计算机科学和生物等学科的论文。

https://arxiv.org/

数学部分:

https://arxiv.org/archive/math


3】

ProofWiki - 数学定理证明的摘要

https://proofwiki.org/wiki/Main_Page

https://proofwiki.org/wiki/Category:Proofs


4】

Metamath - 比较初等的数学定理及其证明的摘要

http://us.metamath.org/mpegif/mmtheorems.html


另外,wikipedia有一些比较重要的数学定理的证明过程:

https://en.wikipedia.org/wiki/List_of_mathematical_proofs


类似的,还有有名的MathWorld

http://mathworld.wolfram.com/


指的一提的是,法国借政府之力,有一个非常先进的数学定理证明辅助工具Coq【法语意为"公鸡"】。Coq曾被用于证明著名的“四色定理”。可惜似乎并不对外开放?

https://en.wikipedia.org/wiki/Coq

https://zh.wikipedia.org/wiki/Coq


还有一些比较专门的针对某一或某几个数学领域设立的定理库,这里就不一一介绍了。


一个好消息:

国际数学联盟【或译“国际数学联合会”】(International Mathematical Union,IMU)斯隆基金Alfred P. Sloan Foundation)的资助下,准备设立一个Global Digital Mathematics Library【全球数字数学图书馆】。消息早在2014年即已发出,不知如今进展如何。我们且拭目以待。

https://en.wikipedia.org/wiki/Global_Digital_Mathematics_Library

http://www.mathunion.org/imu-net/archive/2016/imu-net-077#c4951



浏览(915) (0) 评论(1)
发表评论
文章评论
作者:BFTS 留言时间:2017-05-07 20:06:36

》雇个人啊,咱硬着头皮试着把你的博文读完,但是,咱这脑瓜子和数学一点都不搭界,硬是完全不知道从中能够更新一点点什么信息,没有看明白!恐怕是比你读咱的博文,还要差得很多!真是隔行如隔山啊!

回复 | 0
我的名片
gugeren
注册日期: 2012-01-06
访问总量: 2,698,047 次
点击查看我的个人资料
Calendar
最新发布
· 【美国最高法院】受理一有关J6事
· 【李锐日记-47】三峡辩论、毛秘
· 【RRN】白帽守卫在川普的房产上
· 【RRN】肾上腺色素的奥斯卡奖,
· 【石涛】习近平的健康
· 【新视野】1/6委员会构陷川普,
· 【RRN】海军陆战队逮捕Nuland夫
分类目录
【DIY】
· DIY-2:修理漏水的浴缸水龙头
· DIY-1:更换煤气热水锅炉的水
【数学】
· 【圆周率π】与斐波那契数
· 趣味的数学-468
· 趣味的数学-467
· 趣味的数学-466
· 趣味的数学-465
· 趣味的数学-464
· 趣味的数学-463
· 趣味的数学-462
· 趣味的数学-461
· 趣味的数学-460
【美国大学申请】
· 又是申请大学时:申请美国大学心
· 寻找学生人均钱最多的美国高校
· 寻找有钱的美国大学
· 藤校中亚裔学生的比例
· 欢迎B咖学生的美国大学
· 美国大学招生时着重察看申请学生
· 有关申请美国大学过程的书籍和网
· 美国劳工部对2010-2020年劳动力
【杂记】
· 从李密《陈情表》说开去
· 请万维编辑注意博客中的安全问题
· 从《上甘岭》到《黄河绝恋》
· 【转】任正非:华为现在就像一架
· 录鲁迅诗以祭六四惨案卅周年
· 【摘录】中国加入世界贸易组织的
· 如何看美中电视播音员辩论直播
· 【快讯】美中播音员辩论直播
· 当今世界的前10名人口大国
· 什么是“贸易顺差”?
【股票+金融】
· 美FED于周日异常减1%利率
· 如今美国股市遍地黄金
· 浅谈“长期护理”
· 再谈中国政府抛售美国国债的后果
· 对西岸博的回应
· 中国抛售美国国债的后果
· S&P500中高利润率的股票
· 【转】对弈论阐述股市大户赢钱策
· 美国国债
· 【转】有关中国进口粮食的材料-4
【自己文章】
· 【杨】安泽的落选表明每月千刀的
· 【网站】RRN是一个什么网站?
· 【厨房】馒头为何塌陷、萎缩?
· 【书】白左写书揭2020大选舞弊
· 【论】选举作弊=一党专政
· 【趣味问题】为什么至今习近平不
· 邮寄选票的弊端
· 为什么不能选拜登为美国总统?
· 每个人的生命都金贵
· 社会主义不能救美国
【转贴好文章】
· 【美国最高法院】受理一有关J6事
· 【李锐日记-47】三峡辩论、毛秘
· 【RRN】白帽守卫在川普的房产上
· 【RRN】肾上腺色素的奥斯卡奖,
· 【石涛】习近平的健康
· 【新视野】1/6委员会构陷川普,
· 【RRN】海军陆战队逮捕Nuland夫
· 【RRN】国土安全部长联络官被判
· 【假外媒】被抓到了!
· 【美最高法院】推翻科州裁决
存档目录
2024-03-01 - 2024-03-27
2024-02-02 - 2024-02-29
2024-01-01 - 2024-01-30
2023-12-01 - 2023-12-31
2023-11-02 - 2023-11-29
2023-10-01 - 2023-10-29
2023-09-03 - 2023-09-28
2023-08-01 - 2023-08-28
2023-07-03 - 2023-07-30
2023-06-01 - 2023-06-29
2023-05-01 - 2023-05-30
2023-04-02 - 2023-04-30
2023-03-01 - 2023-03-31
2023-02-01 - 2023-02-19
2023-01-02 - 2023-01-27
2022-12-01 - 2022-12-29
2022-11-01 - 2022-11-30
2022-10-04 - 2022-10-31
2022-09-01 - 2022-09-29
2022-08-02 - 2022-08-31
2022-07-01 - 2022-07-28
2022-06-01 - 2022-06-29
2022-05-13 - 2022-05-16
2022-04-06 - 2022-04-30
2022-03-01 - 2022-03-29
2022-02-01 - 2022-02-28
2022-01-01 - 2022-01-24
2021-12-01 - 2021-12-30
2021-11-01 - 2021-11-30
2021-10-02 - 2021-10-31
2021-09-03 - 2021-09-30
2021-08-01 - 2021-08-31
2021-07-01 - 2021-07-28
2021-06-01 - 2021-06-30
2021-05-01 - 2021-05-31
2021-04-09 - 2021-04-30
2021-03-03 - 2021-03-31
2021-02-03 - 2021-02-27
2021-01-01 - 2021-01-31
2020-12-01 - 2020-12-31
2020-11-01 - 2020-11-30
2020-10-02 - 2020-10-31
2020-09-01 - 2020-09-26
2020-08-01 - 2020-08-26
2020-07-01 - 2020-07-31
2020-06-05 - 2020-06-30
2020-05-01 - 2020-05-31
2020-04-01 - 2020-04-29
2020-03-01 - 2020-03-31
2020-02-01 - 2020-02-29
2020-01-03 - 2020-01-31
2019-12-04 - 2019-12-31
2019-11-01 - 2019-11-29
2019-10-01 - 2019-10-31
2019-09-01 - 2019-09-30
2019-08-01 - 2019-08-29
2019-07-08 - 2019-07-27
2019-06-03 - 2019-06-22
2019-05-01 - 2019-05-29
2019-04-01 - 2019-04-29
2019-03-01 - 2019-03-30
2019-02-01 - 2019-02-28
2019-01-06 - 2019-01-27
2018-11-24 - 2018-11-24
2018-08-08 - 2018-08-08
2018-07-10 - 2018-07-29
2018-06-02 - 2018-06-21
2018-05-24 - 2018-05-24
2018-04-06 - 2018-04-30
2018-03-27 - 2018-03-27
2018-02-01 - 2018-02-01
2018-01-05 - 2018-01-05
2017-12-16 - 2017-12-31
2017-11-10 - 2017-11-24
2017-10-02 - 2017-10-31
2017-07-13 - 2017-07-17
2017-06-02 - 2017-06-02
2017-05-04 - 2017-05-27
2017-04-03 - 2017-04-30
2017-03-01 - 2017-03-23
2017-02-09 - 2017-02-20
2017-01-01 - 2017-01-22
2016-12-01 - 2016-12-17
2016-11-03 - 2016-11-29
2016-10-01 - 2016-10-31
2016-09-02 - 2016-09-30
2016-08-12 - 2016-08-30
2016-06-03 - 2016-06-03
2016-05-02 - 2016-05-26
2016-04-01 - 2016-04-29
2016-03-09 - 2016-03-20
2016-02-13 - 2016-02-13
2016-01-16 - 2016-01-22
2015-12-12 - 2015-12-25
2015-11-08 - 2015-11-22
2015-10-02 - 2015-10-17
2015-09-01 - 2015-09-19
2015-08-15 - 2015-08-29
2015-07-03 - 2015-07-31
2015-06-18 - 2015-06-26
2015-05-25 - 2015-05-31
2015-03-09 - 2015-03-13
2014-12-26 - 2014-12-30
2014-06-03 - 2014-06-03
2014-05-29 - 2014-05-29
2014-03-03 - 2014-03-03
2014-02-08 - 2014-02-15
2013-12-03 - 2013-12-29
2013-11-01 - 2013-11-16
2013-10-02 - 2013-10-30
2013-08-04 - 2013-08-30
2013-07-19 - 2013-07-22
2013-06-03 - 2013-06-19
2013-04-23 - 2013-04-28
2013-03-15 - 2013-03-22
2013-02-09 - 2013-02-10
2013-01-01 - 2013-01-02
2012-12-09 - 2012-12-29
2012-10-12 - 2012-10-12
2012-09-26 - 2012-09-26
2012-07-04 - 2012-07-04
2012-06-01 - 2012-06-22
2012-05-26 - 2012-05-26
2012-04-06 - 2012-04-28
2012-03-02 - 2012-03-30
2012-02-04 - 2012-02-29
2012-01-07 - 2012-01-08
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2024. CyberMedia Network /Creaders.NET. All Rights Reserved.