{“id”：“https://openalex.org/W2027264688“，”doi“：”https://doi.org/10.1145/2213977.2213998“，”title“：”行列式恒等式的简短证明“，”display_name“：”行列式恒等式的简短验证“，”publication_year“：2012，”publiation_date“：”2012-05-19“，”ids“：{”openalex“：”https://openalex.org/W2027264688“，”doi“：”https://doi.org/10.1145/2213977.2213998“，”mag“：”2027264688“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2213977.2213998“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/1112.6265“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5103278473“，”display_name“：”Pavel Hrube\u0161“，”orcid“：”https://orcid.org/0000-0003-4526-4934}，“机构”：[{“id”：https://openalex.org/I168635309“，”display_name“：”卡尔加里大学“，”ror“：”https://ror.org/03yjb2x39“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I168635309“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Pavel Hrubes“，”raw _affiliation_strings“：[“加拿大阿尔伯塔省卡尔加里大学”]，”affiliations“：[{”raw _affiliation_string“：”加拿大阿尔伯达省卡尔加里市大学“，”institution_ids“：]”https://openalex.org/I168635309“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066962007“，”display_name“：”Iddo Tzameret“，”orcid“：”https://orcid.org/0000-0002-5558-9911}，“机构”：[{“id”：https://openalex.org/I99065089“，”display_name“：”清华大学“，”ror“：”https://ror.org/03cve4549“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I99065089“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Iddo Tzameret“，”raw _ afiliation_strings“：[中国北京清华大学]，”affiliations“：[{”raw_ afiliation _string“：”清华大学，中国北京“，”institution_ids“：[“https://openalex.org/I99065089“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：0.512，”has_fulltext“：false，”cited_by_count%“：false}，”cited_by_percentile_year“：{“min”：80，“max”：81}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T11106“，”“display_name”：“轨迹数据挖掘与分析”，“score”：0.9911，“subfield”：{“id”：“https://openalex.org/subfields/1711“，”display_name“：”信号处理“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11106“，”“display_name”：“轨迹数据挖掘与分析”，“score”：0.9911，“subfield”：{“id”：“https://openalex.org/subfields/1711“，”display_name“：”信号处理“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10996“，”display_name“：”Mesh Generation Algorithms“，”score“：0.9902，”subfield“：{”id“：”https://openalex.org/subfields/1704“，”display_name“：”计算机图形和计算机辅助设计“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9877，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/近似算法“，”display_name“：”近似算法“，”score“：0.485799}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.76657844}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5894433}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3942866}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.35425702}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.34564197｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3186429}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1348196}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：3，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2213977.2213998“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/112.6265，“pdf_url”：https://arxiv.org/pdf/1112.6265，“源”：{“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”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.675.5948，“pdf_url”：http://pure.rhul.ac.uk/portal/files/23943758/DET12.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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://arxiv.org/abs/1112.6265，“pdf_url”：https://arxiv.org/pdf/1112.6265，“源”：{“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“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：24，“referinced_works”：[”https://openalex.org/W117725373","https://openalex.org/W1497193031","https://openalex.org/W1567053297","https://openalex.org/W1599026900","https://openalex.org/W1607926272","https://openalex.org/W1967948656","https://openalex.org/W1977405062","https://openalex.org/W1987465321","https://openalex.org/W1988938797","https://openalex.org/W1996660205","https://openalex.org/W201320490","https://openalex.org/W2026944800","https://openalex.org/W2080132708","https://openalex.org/W2081256023","https://openalex.org/W2082002555","https://openalex.org/W2116335551","https://openalex.org/W2127804012","https://openalex.org/W2130566259","https://openalex.org/W2158111726","https://openalex.org/W2165390183","https://openalex.org/W2170831059","https://openalex.org/W2408041379","https://openalex.org/W3158755844","https://openalex.org/W4248733413“]，”related_works“：[”https://openalex.org/W4387820098","https://openalex.org/W4236324517","https://openalex.org/W3196207352","https://openalex.org/W3084261076","https://openalex.org/W2963408011","https://openalex.org/W2951724202","https://openalex.org/W2808944898","https://openalex.org/W2576399385","https://openalex.org/W1996614773","https://openalex.org/W1979597421“]，”abstract_inverted_index“：｛”我们“：[0,24]，”研究“：[1]，”算术“：[2,10,113153173]，”证明“：[3,33,59，69]，”系统“：[4]，”Pc（F）“：[5,40,58，68,91162]，”和“：[6,12,53，73114121129166]，”Pf（F）“：[7186]，”运算“：[8]，”分别带有“：[9135]，”电路“：[11]，”公式“：[14]，”：[15]，“那”：[16,39157181]，“证明”：[17]，“多项式”：[18,47,98]，“恒等式“：[19,95160184]，“over”：[20]，“a”：[21,26,46,57,67,83,87,97132151]，“field”：[22]，“F.”：[23]，“establish”：[25]，“series”：[27]，“of”：[28,49,60,70,90,96164176188]，“structural”：[29]，“定理”：[30]，“about”：[31]，“these”：[32102]，“systems”：[34]，“the”：[35106109139144158]182]，“主”：[36]，“一”：[37]，“说明”：[38]，“证明”：[41163187]，“can“：[42149]，”be“：[43]，”balanced“：[44]，”if“：[45]，”identity“：[48]，”syntaxic“：[50,99]，”degree“：[51]，”d“：[22,76]，”深度“：[54,74]，”k“：[55]，”has“：[56,66]，”size“：[61,71177189]，”s，“：[62]，”then“：[63]，”it“：[64]，”also“：65]，”poly（s，d）“：[72]，”O（k+log2“：[75]，”+“：[77]，”log“：[78,80]，”d\u2022“：[%9]，”s）。“：[81]，”As“：[82]，”推论“：[84]，”we“：+85104148]，”获取“：[86105]，”拟多项式“：[88]，”模拟“：[89]，”by“：[92]，”Pf（F），“：[93]，”for“：[94]，”度。“：[100]，”Using“：[101]，”results“：[103]，”following：“：[107]，”consider“：[108]，”identities:“：[110]，”det（XY）“：[111]，”=“：[112]，”det（X）\u2022det（Y）“:[113]，”delt（Z）=“：+115]，”z11“：[116]，”\u2022\u2022“：[117]，”znn，“：[118]，”where“：[119]，”“X，Y”：[120]，“Z”：[122130]，“are”：[123]，“n”：[124126]，“X”：[125]，“square”：[127]，“matrixes”：[128]，“is”：[131143]，“三角形“：[133]，”矩阵“：[134]，”z11，。。。，“：[136]，”znn“：[137]，”on“：[138]，”对角线“：[140]，”（and“：[141]，”det“：[142155175]，”行列式“：[145]，”多项式）。“：[146]，”Then“：[147]，”construct“：[150]，”多项式大小“：[152165]，”circuit“：[154]，”such“：[156180]，”abover“：[159183]，”have“：[161185]，”O（log2n）“：[167]，”depth。“：[168]，”“此外，”：[169]，“那里”：[170]，“存在”：[171]，“an”：[172]，“公式”：[174]，“nO（log”：[178190]，“n）”：[179]，“n）。“：[191]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2027264688“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：2}，{“年度”：2016，”cited_by_count”：1}，}“年”：2013，”citecd_by_count“：1}，{”year“:2012，”citted_by_count“:1}]，”updated_date“：”2024-09-09T07:57:36.102897“，”created_dated“：”2016-06-24“}