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