9888 search results - page 89 / 1978 » compute 2009 |
153
click to vote
CIE
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
144
click to vote
ISSAC
2009
Springer
16 years 7 days ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
138
click to vote
CIIA
2009
15 years 6 months ago
2009
: Technology has emerged almost all the domains in our daily life. In computational linguistics, the uses of electronic corpora are very important. Nowadays it is possible to study...
173
click to vote
FCCM
2009
IEEE
15 years 9 months ago
2009
IEEE
Geometric algebra (GA) is a mathematical framework that allows the compact description of geometric relationships and algorithms in many fields of science and engineering. The exe...