{“id”：“https://openalex.org/W2883415038“，”doi“：”https://doi.org/10.1007/s10817-019-09528-w网址“，”title“：“将Cox\u2013Ross\u2013Rubinstein欧洲衍生品在Isabelle/HOL中的定价形式化”，“display_name”：“将Cox\u2013 Ross\u2013 Rubinsten欧洲衍生品在Iabelle/HOL中的定价方式化”，”publication_year“：2019，”publiation_date“：”2019-07-04“，”ids“：{”openalex“：”https://openalex.org/W2883415038“，”doi“：”https://doi.org/10.1007/s10817-019-09528-w网址“，”mag“：”2883415038“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-019-09528-w网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”isn“：[“0168-7443”，”1573-0670“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”url“：”https://hal.science/hal-02990376/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：”https://orcid.org/0000-0001-5765-0758}，“机构”：[{“id”：https://openalex.org/I4210104430“，”display_name“：”格勒诺布尔信息实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]｝]，”国家“：[”FR“]，”is_correresponsing“：false，”raw_author_name“：”Mnacho Echenim“，”raw_affiation_strings“：[”格勒诺布尔-阿尔卑斯大学，CNRS，38000，法国格勒诺布尔“]，”附属机构“：[｛”raw_affiation_string“：”格勒诺布尔-阿尔卑斯大学，CNRS，38000，法国格勒诺布尔“，”institution_ids“：[”https://openalex.org/I4210104430","https://openalex.org/I1294671590","https://openalex.org/I899635006“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5071991396“，”display_name“：”Herv\u00e9吉他“，”orcid“：”https://orcid.org/0000-0003-4293-6221}，“机构”：[{“id”：https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Herv\u00e9 Guiol“，”raw _ afiliation_strings“：[“TIMC，格勒诺布尔阿尔卑斯大学，CNRS，38000，格勒诺布尔，法国”]，”affiliations“：[{”raw _affiliation_strong“：”TIMC，格勒诺布尔阿卑斯大学https://openalex.org/I899635006","https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5079985573“，”display_name“：”Nicolas Peltier“，”orcid“：”https://orcid.org/0000-0002-8943-7000}，“机构”：[{“id”：https://openalex.org/I4210104430“，”display_name“：”格勒诺布尔信息实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Nicolas Peltier“，”raw _affiliation_strings“：[“LIG，格勒诺布尔阿尔卑斯大学，CNRS，38000，格勒诺布尔，法国”]，”affiliations“：[{”raw _affiliation_string“：”https://openalex.org/I4210104430","https://openalex.org/I1294671590","https://openalex.org/I899635006“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：2290，“currency”：“EUR”，“value_usd”：2890，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.344，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited”_by_count“：2，”引用规范化百分比“：{”value“：0.786479，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：70，”max“：75}，“biblio”：{“volume”：“64”，“issue”：“4”，“first_page”：“737”，“last_page”：”765“}，‘is_retracted’：false、“is_paratext”：false“primary_topic”：{“id”：“https://openalex.org/T12137“，”“display_name”：“货币均衡模型的存在与动态”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/2002“，”display_name“：”经济学与计量经济学“}，”字段“：{”id“：”https://openalex.org/fields/20网站“，”display_name“：”经济学、计量经济学和金融“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T12137“，”“display_name”：“货币均衡模型的存在与动态”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/2002“，”display_name“：”经济学与计量经济学“}，”字段“：{”id“：”https://openalex.org/fields/20网站“，”display_name“：”经济学、计量经济学和金融“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T10067“，”“display_name”：“期权定价模型的理论与应用”，“score”：0.9957，“subfield”：{“id”：“https://openalex.org/subfields/2003“，”display_name“：”Finance“}，”field“：{”id“：”https://openalex.org/fields/20网站“，”display_name“：”经济学、计量经济学和金融“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T10047“，”display_name“：”资产定价与市场效率“，”score“：0.9893，”subfield“：{”id“：”https://openalex.org/subfields/2003“，”display_name“：”Finance“}，”field“：{”id“：”https://openalex.org/fields/20网站“，”display_name“：”经济学、计量经济学和金融“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/derivative网站“，”display_name“：”衍生品（金融）“，”score“：0.7331661}，{”id“：”https://openalex.org/keywords/hol“，”display_name“：”HOL“，”score“：0.62274724}，{”id“：”https://openalex.org/keywords/asset-pricing“，”display_name“：”资产定价“，”score“：0.515284}，{”id“：”https://openalex.org/keywords/option-pricing“，”display_name“：”期权定价“，”score“：0.508134}]，”concepts“：[{”id“：”https://openalex.org/C2780821815，“wikidata”：https://www.wikidata.org/wiki/Q53440806“，”display_name“：”Portfolio“，”level“：2，”score“：0.7464349}，{”id“：”https://openalex.org/C111771559，“wikidata”：https://www.wikidata.org/wiki/Q66295“，”display_name“：”衍生品（金融）“，”level“：2，”score“：0.7331661｝，｛”id“：”https://openalex.org/C160623529，“wikidata”：https://www.wikidata.org/wiki/Q273088“，”display_name“：”Arbitrage“，”level“：2，”score“：0.65315324}，{”id“：”https://openalex.org/C17435882，“wikidata”：https://www.wikidata.org/wiki/Q17030435“，”display_name“：”HOL“，”level“：2，”score“：0.62274724}，{”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534“，”display_name“：”数理经济学“，”level“：1，”score“：0.6120683}，{”id“：”https://openalex.org/C90673727，“wikidata”：https://www.wikidata.org/wiki/Q901718“，”display_name“：”乘积（数学）“，”level“：2，”score“：0.53469986}，{”id“：”https://openalex.org/C21099588，“wikidata”：https://www.wikidata.org/wiki/Q7314068“，”display_name“：”复制公文包“，”level“：4，”score“：0.44221306}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4277277}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.30730137}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28881332}，{”id“：”https://openalex.org/C106159729，“wikidata”：https://www.wikidata.org/wiki/Q2294553“，”display_name“：”金融经济学“，”level“：1，”score“：0.20670336}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1044386｝，｛”id“：”https://openalex.org/C202655437，“wikidata”：https://www.wikidata.org/wiki/Q7231728“，”display_name“：”Portfolio optimization“，”level“：3，”score“：0.08826509}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：6，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-019-09528-w网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”isn“：[“0168-7443”，”1573-0670“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-01954948，“pdf_url”：https://hal.science/hal-02990376/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-02990376“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“网址：http://arxiv.org/abs/1807.09873，“pdf_url”：http://arxiv.org/pdf/1807.09873，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02990376/file/CRRModelIsabelle.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02990376/file/CRRModelIsabelle.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02990376，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02990376/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01954948，“pdf_url”：https://hal.science/hal-02990376/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”“versions”：【】、“referenced_works_count”：26，“reference d_works”：【”https://openalex.org/W1417233894","https://openalex.org/W1503295912","https://openalex.org/W1508950690","https://openalex.org/W1571438983网址","https://openalex.org/W1840672264","https://openalex.org/W2061969020","https://openalex.org/W2069860712","https://openalex.org/W2077791698","https://openalex.org/W2106192381","https://openalex.org/W2143444807","https://openalex.org/W2146612430","https://openalex.org/W2152762348","https://openalex.org/W2167653210","https://openalex.org/W2342366143","https://openalex.org/W2404748738","https://openalex.org/W2562825158","https://openalex.org/W259799929","https://openalex.org/W266135116","https://openalex.org/W2735867562","https://openalex.org/W2779867977网址","https://openalex.org/W2963637004","https://openalex.org/W4231057775","https://openalex.org/W4250846042","https://openalex.org/W4250850800","https://openalex.org/W4250962818","https://openalex.org/W581230785“]，”related_works“：[”https://openalex.org/W4242666684","https://openalex.org/W4225528185","https://openalex.org/W4206877017","https://openalex.org/W2949622616","https://openalex.org/W2768197547","https://openalex.org/W2612189809","https://openalex.org/W2609346632","https://openalex.org/W2367990330","https://openalex.org/W2111724235","https://openalex.org/W2065068980“]，”abstract_inverted_index“：{”We“：[0,15]，”formalize“：[1]，”in“：[2,12,76,91]，”the“：[3,37,41,52,65,72110]，”proof“：[4]，”assistant“：[5]，“Isabelle”：[6106]，”essential“：[7]，”basic“：[8]，”concepts“：[9]，”and“：[10,32,68]，”results“：[11]，”financial“：[13]，”mathematics.“：[14]，“provide”：[16,61105]，“通用”：[17]，“形式”：[18]，“定义”：[19]，““：[20，43，64113]，”概念“：[21]，”这样“：[22]，”如“：[23]，”市场“：[24]，”投资组合“：[25]，”衍生品“：[26，49，82，9511515]，”产品“：[27]，”套利“：[28]，”或“：[29]，”公平“：[30，5710111]，”价格“：[31]，”我们“：[33，60，69104]，”显示“：[34，70]，”那个“：[35]，”下面“：[36]，“通常”：[38]，“无套利”：[39]，“条件”：[40]，“存在”：[42]，“a“：[44,48,55,62,85,98]，”复制“：[45,86]，”投资组合“：[46]，”对于“：[47]，”意味着“：[50]，”那“：[51,71,80,90]，”后者“：[53]，”承认“：[54,84,97]，”独特“：[56,99]，”价格。“：[58101]，”Then，“：[59]，”formalization“：[63]，”Cox\u2013Rubinstein“：[66]，”model“：[67]，”market“：[73]，”is“：[74]，”complete“：[75]，”this“：[77,92]，”模型“：[78,93]，”即“：[79]，”every“：[81,94]，”product“：+83,96]，”portfolifolio。“：[87]，”This“：[88]，”consureds“：[89]，”In“：[102]，”addition“，：[103]，”functions“：[107]，”to“：[108]，”compute“：%109]，”price“：[112]，”some“：[114]，”products。“：[116]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2883415038“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年“：2022，”cited_by_count”：1}]，”更新日期“：”2024-09-11T10:52:04.198016“，”创建日期“：“2018-08-03”}