“ABC@home”的版本间差异
小 |
Zhouxiaobo(讨论 | 贡献) 小 (加上模板。) |
||
(未显示4个用户的8个中间版本) | |||
第1行: | 第1行: | ||
− | {{ | + | {{Project |
− | | name =ABC@home | + | |name=ABC@home |
− | | logo = | + | |logo=Abc_logo.jpg |
− | + | |developer=[http://www.math.leidenuniv.nl/nl/home/ Mathematical Institute of Leiden University][[Image:Netherlands.gif]] | |
− | + | |released=2006年11月21日 | |
− | | developer =[http://www.math.leidenuniv.nl/nl/home/ Mathematical Institute of Leiden University] | + | |app={{app/Windows}}{{app/Linux}}{{app/Mac}} |
− | | released = | + | |platform={{platform/BOINC}} |
− | | | + | |subproject= |
− | | platform = | + | |status=项目已结束 |
− | | | + | |genre={{genre/数学}} |
− | + | |website=http://abcathome.com/ | |
− | | status = | + | |rss=http://abcathome.com/rss_main.php |
− | | genre = | ||
− | | | ||
− | | | ||
}} | }} | ||
+ | |||
[[ABC@home]] 是一个由荷兰的一个数学研究院 [http://www.math.leidenuniv.nl/nl/home/ Mathematical Institute of Leiden University] 运作的,基于 [[BOINC]] 分布式计算平台的数学类项目,旨在通过搜索满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。 | [[ABC@home]] 是一个由荷兰的一个数学研究院 [http://www.math.leidenuniv.nl/nl/home/ Mathematical Institute of Leiden University] 运作的,基于 [[BOINC]] 分布式计算平台的数学类项目,旨在通过搜索满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。 | ||
− | + | ||
+ | |||
=='''搜索进度与结果'''== | =='''搜索进度与结果'''== | ||
搜索进度可以在[http://www.rekenmeemetabc.nl/ 这里]看到。 | 搜索进度可以在[http://www.rekenmeemetabc.nl/ 这里]看到。 | ||
− | + | ||
搜索到的三元数组可以在[http://abcathome.com/stuff/ 这里]找到。 | 搜索到的三元数组可以在[http://abcathome.com/stuff/ 这里]找到。 | ||
− | + | ||
+ | |||
{{JoinBoincProject | {{JoinBoincProject | ||
|Project=ABC@home | |Project=ABC@home | ||
|URL=http://abcathome.com/}} | |URL=http://abcathome.com/}} | ||
+ | |||
=='''项目研究内容简介'''== | =='''项目研究内容简介'''== | ||
第32行: | 第33行: | ||
ABC@home 希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。 | ABC@home 希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。 | ||
− | + | ||
+ | |||
=='''相关链接'''== | =='''相关链接'''== | ||
− | |||
[http://abcathome.com 官方网站]<br> | [http://abcathome.com 官方网站]<br> | ||
[http://www.math.leidenuniv.nl/~desmit/ic/abc/fritsABCpresentation.pdf 关于ABC猜想的简介 (英文pdf)]<br> | [http://www.math.leidenuniv.nl/~desmit/ic/abc/fritsABCpresentation.pdf 关于ABC猜想的简介 (英文pdf)]<br> | ||
第41行: | 第42行: | ||
[http://www.equn.com/forum/forum-22-1.html 项目讨论区] | [http://www.equn.com/forum/forum-22-1.html 项目讨论区] | ||
− | + | ||
+ | {{BOINC topics}} | ||
+ | [[Category:已结束项目]] |
2017年12月6日 (三) 12:20的最新版本
ABC@home 是一个由荷兰的一个数学研究院 Mathematical Institute of Leiden University 运作的,基于 BOINC 分布式计算平台的数学类项目,旨在通过搜索满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。
搜索进度与结果
搜索进度可以在这里看到。
搜索到的三元数组可以在这里找到。
如何加入项目
该项目基于 BOINC 平台,简要的加入步骤如下(已完成的步骤可直接跳过):
- 下载并安装 BOINC 的客户端软件(官方下载页面或程序下载)
- 点击客户端简易视图下的“Add Project”按钮,或高级视图下菜单中的“工具->加入项目”,将显示向导对话框
- 点击下一步后在项目列表中找到并单击选中 ABC@home 项目(如未显示该项目,则在编辑框中输入项目网址:http://abcathome.com/ ),然后点击下一步
- 输入您可用的电子邮件地址,并设置您在该项目的登录密码(并非您的电子邮件密码)
- 再次点击下一步,如项目服务器工作正常(并且有适合自身操作系统的计算程序),即已成功加入项目
更详细的加入方法说明,请访问 BOINC 新手指南 或 BOINC 使用教程。
本站推荐您加入 Team China 团队,请访问项目官方网站的 团队检索页面,搜索(Search)并进入 Team China 的团队页面,点击页面中的 Join 并输入用户登录信息即可加入!
项目研究内容简介
ABC@home 利用分布式计算穷举直到 c<=1018 的满足ABC猜想条件的 (a,b,c) 三元数组,也就是说满足要求 c=a+b, a<b, rad(ABC)<C。其中 rad(n) 称为 n 的根积,意即 n 的所有质因数的乘积,若有重复的质因数则只取一个。例如,rad(504)=rad((2^3)*(3^2)*7)=2*3*7=42。
项目通过研究这些三元数组的分布,试图寻找证明ABC猜想这个数学未解问题的方法。如果证明了 ABC猜想,就可以部分证明费马-卡特兰 (Fermat-Catalan) 猜想,完全证明 Schinzel-Tijdeman 猜想等等。ABC猜想的具体内容是:对于所有e>0,存在与e有关的常数C(e),对于所有满足a+b=c,a与b互质的三正整数组(a,b,c),均成立 c<=C(e)((rad(abc))^(1+e))。目前支持ABC猜想的证据有很多,比如说ABC猜想的多项式版本成立,ABC猜想也蕴含了费马大定理。D. Goldfeld 评价ABC猜想为“丢番图分析(意即系数与解均为整数的方程的分析)领域中最重要的未解决问题”。
ABC@home 希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。
相关链接
官方网站
关于ABC猜想的简介 (英文pdf)
更多关于ABC猜想的资料(英文)
项目新闻
项目讨论区