5184 search results - page 37 / 1037 » The digital divide of computing |
CORR
2007
Springer
15 years 3 months ago
2007
Springer
24
Voted
ANNALS
2000
15 years 3 months ago
2000
136
Voted
SOCO
2011
Springer
14 years 10 months ago
2011
Springer
114
click to vote
CIE
2006
Springer
15 years 7 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...