3228 search results - page 46 / 646 » Computationally Sound Proofs |
CIE
2006
Springer
13 years 11 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...
EUROCAST
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from speciļ¬cations is presented. The idea is to extract code from definitions appearing in statements which have been me...
FPLE
1995
13 years 11 months ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
FOCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriļ...
AAAI
2008
13 years 8 months ago
2008
Arrowās Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...