11716 search results - page 54 / 2344 » Computable symbolic dynamics |
165
Voted
GREC
2007
Springer
16 years 26 days ago
2007
Springer
149
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
178
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...