523 search results - page 18 / 105 » On the Power of Quantum Proofs |
64
Voted
FCT
2005
Springer
15 years 7 months ago
2005
Springer
120
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
91
Voted
WSC
1997
15 years 3 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
140
click to vote
SETA
2004
Springer
15 years 7 months ago
2004
Springer
We enumerate the inequivalent self-dual additive codes over GF(4) of blocklength n, thereby extending the sequence A090899 in The On-Line Encyclopedia of Integer Sequences from n =...
142
click to vote
ICQNM
2008
IEEE
15 years 8 months ago
2008
IEEE
Coin flipping is a cryptographic primitive in which two spatially separated players, who in principle do not trust each other, wish to establish a common random bit. If we limit ...