1284 search results - page 2 / 257 » On Helping and Interactive Proof Systems |
ISAAC
2003
Springer
14 years 19 days ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
STACS
1997
Springer
13 years 11 months ago
1997
Springer
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
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...
ECCE
2007
13 years 11 months ago
2007
Motivation