. . . . . “Mnacho-Echenim等人：在Isabelle/HOL（2020）中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价”。 . . _：ID_ed27eba1b40d68183e6500422066a219。_：ID_ed27eba1b40d68183e6500422066a219 ._：标识号_ed27eba1b1b0d68183e6500422066a219 ._：标识号_ed27eba1b1b0d68183e6500422066a219“journals/jar/EchenimGP20”。 _：ID_1c5557215f0bc895069a49f10b892257。_：ID_1c5557215f0bc895069a49f10b892257 ._：ID_1c5557215f0bc895069a49f10b892257 ._：ID_1c5557215f0bc895069a49f10b892257“10.1007/S10817-019-09528-W”。 “将Isabelle/HOL中欧洲衍生品的Cox-Ross-Rubinstein定价正式化”。 . . . . "3"^^. _：Sig_b0808b600f96c75c01bda0007bf0015d_1。_：Sig_b0808b600f96c75c01bda0007bf0015d_1 ._：Sig_b0808b600f96c75c01bda0007bf0015d_1“Mnacho Echenim”。_：Sig_b0808b600f96c75c01bda0007bf0015d_1 ._：Sig_b0808b600f96c75c01bda0007bf0015d_1 ._：Sig_b0808b600f96c75c01bda0007bf0015d_1"1"^^._：Sig_b0808b600f96c75c01bda0007bf0015d_1 . _：Sig_b0808b600f96c75c01bda0007bf0015d_2。_：Sig_b0808b600f96c75c01bda0007bf0015d_2 ._：Sig_b0808b600f96c75c01bda0007bf0015d_2“Herv\u00E9吉他”。_：Sig_b0808b600f96c75c01bda0007bf0015d_2 ._：Sig_b0808b600f96c75c01bda0007bf0015d_2 ._：Sig_b0808b600f96c75c01bda0007bf0015d_2"2"^^._：Sig_b0808b600f96c75c01bda0007bf0015d_2 . _：Sig_b0808b600f96c75c01bda0007bf0015d_3。_：Sig_b0808b600f96c75c01bda0007bf0015d_3 ._：Sig_b0808b600f96c75c01bda0007bf0015d_3“尼古拉斯·佩尔蒂埃”。_：Sig_b0808b600f96c75c01bda0007bf0015d_3 ._：Sig_b0808b600f96c75c01bda0007bf0015d_3"3"^^._：Sig_b0808b600f96c75c01bda0007bf0015d_3 . . . . "737-765" . “J.Autom.理性”。 “J.Autom.理性”。 "64" . "4" . "2020"^^. “dblp记录'journals/jar/EchenimGP20'的RDF数据的来源信息”。 . . . “2020-10-26T08:51:18+0100”。