108 search results - page 3 / 22 » Computational Discovery in Pure Mathematics |
KESAMSTA
2007
Springer
15 years 3 months ago
2007
Springer
A peer-to-peer (P2P) system consists of a number of decentralized distributed network nodes that are capable of sharing resources without centralized supervision. Many application...
100
Voted
ASM
2005
ASM
15 years 3 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Although science is becoming increasingly collaborative, there are remarkably few success stories of online collaborations between professional scientists that actually result in ...
ISSAC
2007
Springer
15 years 3 months ago
2007
Springer
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
63
Voted
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...