Formalizing the trading theorem in Coq.

Christophe Dehlinger Jean-François Dufourd

Published in: Theor. Comput. Sci. (2004)

Keyphrases

electronic commerce
formal methods
financial markets
trading systems
von neumann
data sets
trading strategies
artificial intelligence
agent mediated
dow jones
feature selection
knowledge representation
supply chain
electricity markets
foreign exchange
stock data