查看“Ramsey@Home”的源代码

{{Infobox Project
| name =Ramsey@Home
| logo =[[Image:Ramsey_at_Home_Logo.png]]
| screenshot =
| caption =无屏保图形
| developer =University of Wisconsin-Oshkosh[[Image:United_States.gif]]
| released =2008年5月7日
| operating system =[[Image:Windows.png]][[Image:64bits.png]]
| platform =[[BOINC]]
| program info =[http://ramseyathome.com/ramsey/apps.php 查看计算程序情况]
| work unit info =[http://wuprop.boinc-af.org/results.py?data=duree&projet=ramseyTest 查看计算任务情况]
| status =关闭中/开放注册
| genre =数学类
| optimization =无
| website =http://ramseyathome.com/ramsey/
| rss =http://ramseyathome.com/ramsey/rss_main.php
}}
[[Ramsey@Home]] is a distributed computing project designed to find new lower bounds for various Ramsey Numbers using a host of different techniques. It was inspired by the research of Dr. David Furcy, Dr. Thomas Naps, Dr. Linda Eroh, and Nick Peterson during the 2008 spring and summer semester at the University of Wisconsin-Oshkosh.

Ramsey@Home is currently under development, with a projected start date sometime in late August 2008.

If your interested in the mathematics this project deals with, you can read about Ramsey Numbers here. Also, the proposal for our research can be viewed here. 
Ramsey numbers describe the least number of nodes needed to insure that certain types of patterns exist in graphs made up of nodes and colored edges. Ramsey@Home hopes to raise the lower bounds of R(3,3,3,3,3) or R(4,4,4,4,4). More information about Ramsey Numbers can be found at [http://en.wikipedia.org/wiki/Ramsey%27s_theorem wikipedia:Ramsey's theorem]. 


{{JoinBoincProject
|Project=Ramsey@Home
|URL=http://ramseyathome.com/ramsey/}}


{{BOINC topics}}
[[Category:分布式计算项目]][[Category:数学类项目]][[Category:BOINC 平台上的项目]][[Category:Ramsey@Home]][[Category:待翻译]]