The Binomial Pricing Model in Finance: A Formalization in Isabelle

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01562944
Contributor : Nicolas Peltier <>
Submitted on : Monday, July 17, 2017 - 11:16:35 AM
Last modification on : Saturday, December 15, 2018 - 1:50:04 AM

Identifiers

  • HAL Id : hal-01562944, version 1

Collections

Citation

Nicolas Peltier, Mnacho Echenim. The Binomial Pricing Model in Finance: A Formalization in Isabelle. Leonardo de Moura. CADE 26, 2017, Gothenburg, Sweden. Springer, 10395, pp.546-562, 2017, 26th International Conference on Automated Deduction. 〈hal-01562944〉

Share

Metrics

Record views

201