Mnacho-Echenim等人：在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。(2018) 日记账/corr/abs-1807-09873 1807.09873 在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。 三 Mnacho Echenim公司 1 埃尔维吉他 2 尼古拉斯·佩尔蒂埃 三 CoRR公司 CoRR公司 腹肌/1807.09873 2018 dblp记录'journals/corr/abs-1807-09873'的RDF数据的来源信息 2018年8月13日16:46:00+0200