The Binomial Pricing Model in Finance: A Formalization in Isabelle.

Mnacho Echenim Nicolas Peltier

Published in: CADE (2017)

Keyphrases

pricing model
bi level
theorem prover
convertible bonds
computational intelligence
real option
dynamic pricing
probability distribution
empirical analysis
financial markets
knowledge representation
supply chain
stock price
theoretical analysis