“将欧洲衍生品的Cox-Ross-Rubinstein定价正式化…”
Mnacho Echenim公司 , 埃尔维吉他 , 尼古拉斯·佩尔蒂埃 :
在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。 J.自动化。 原因。 64 ( 4 ) : 737-765 ( 2020 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。