Mnacho-Echenim等人：在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。(2020) 日志/jar/EchenimGP20 10.1007/S10817-019-09528-瓦 将Isabelle/HOL中欧洲衍生品的Cox-Ross-Rubinstein定价正式化。 三 Mnacho Echenim公司 1 埃尔维吉他 2 尼古拉斯·佩尔蒂埃 三 737-765 J.汽车。原因。 J.汽车。原因。 64 4 2020 dblp记录“journals/jar/EchenimGP20”的RDF数据的来源信息 2020-10-26T08:51:18+0100