smq/directoryAn evolving quant resource archive
Paper / 2018SMQ / 199598537470949
Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL
asset pricing / derivativesResource overview

Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL

Paper2018

by Hervé Guiol, Mnacho Echenim, Nicolas Peltier

Tags
asset pricingderivativesmathematical financeoption pricing

Continue on SelfMadeQuant

Understand this paper

Suggested foundations for options and derivatives pricing and asset pricing and factor research. Specialist prerequisites vary by paper.

Before you read

Go further

Explore a related reading path