Login / Signup
Quantum hedging in two-round prover-verifier interactions.
Srinivasan Arunachalam
Abel Molina
Vincent Russo
Published in:
CoRR (2013)
Keyphrases
</>
data sets
theorem proving
financial markets
transaction costs
quantum computing
database
decision making
neural network
video sequences
interaction patterns
automated theorem proving