。 。 。 “Mnacho-Echenim等人：在Isabelle/HOL（2018）中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价”。 _：ID_a30d24584b41069805911cb2900c9f99。_：ID_a30d24584b41069805911cb2900c9f99 。_：ID_a30d24584b41069805911cb2900c9f99 。_：ID_a30d24584b41069805911cb2900c9f99“日记账/corr/abs-1807-09873”。 _：ID_b23f13a995b6192b2a8a91f4ab778ac2。_：ID_b23f13a995b6192b2a8a91f4ab778ac2 。_：ID_b23f13a995b6192b2a8a91f4ab778ac2 。_：ID_b23f13a995b6192b2a8a91f4ab778ac2“1807.09873”。 “在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。”。 。 。 。 。 "3"^^。 _：Sig_8fef43353fd4a1dcf2733b8f84a03add_1。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_1 。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_1“Mnacho Echenim”。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_1 。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_1“1”^^。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_1 。 _：Sig_8fef43353fd4a1dcf2733b8f84a03add_2。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_2 。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_2“Herv\u00E9吉他”。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_2 。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_2"2"^^。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_2 。 _：Sig_8fef43353fd4a1dcf2733b8f84a03add_3。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_3 。_：Sig_8fef43353fd4a1df2733b8f84a03add_3“尼古拉斯·佩尔蒂埃”。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_3 。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_3"3"^^。_：Sig_8fef43353fd4a1dcf2733b8f84a03add_3 。 。 。 。 “CoRR”。 “CoRR”。 “abs/1807.09873”。 "2018"^^。 “dblp记录‘journals/corr/abs-1807-09873’RDF数据的出处信息”。 。 。 。 “2018-08-13T16:46:00+0200”。