Sciweavers

SKG
2006
IEEE

The Theory Grid and Grid Theorists

13 years 10 months ago
The Theory Grid and Grid Theorists
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorists as the wisdom of crowds working based on the Theory Grid such that the grid theorists have the ability to find new theorems and propose new questions semi-automatically.
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where SKG
Authors Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
Comments (0)