{"id":"https://openalex.org/W2900444034","doi":"https://doi.org/10.1145/3431922","title":"Uniform, Integral, and Feasible Proofs for the Determinant Identities","display_name":"Uniform, Integral, and Feasible Proofs for the Determinant Identities","publication_year":2021,"publication_date":"2021-01-13","ids":{"openalex":"https://openalex.org/W2900444034","doi":"https://doi.org/10.1145/3431922","mag":"2900444034"},"language":"en","primary_location":{"id":"doi:10.1145/3431922","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3431922","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066962007","display_name":"Iddo Tzameret","orcid":"https://orcid.org/0000-0002-5558-9911"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Iddo Tzameret","raw_affiliation_strings":["Royal Holloway, University of London, Egham, UK"],"affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, Egham, UK","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034555443","display_name":"Stephen Cook","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Stephen A. Cook","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066962007"],"corresponding_institution_ids":["https://openalex.org/I184558857"],"apc_list":null,"apc_paid":null,"fwci":0.4439,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64392613,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"68","issue":"2","first_page":"1","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7581766247749329},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7507225275039673},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6045129299163818},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5421820878982544},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5419517159461975},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.47261977195739746},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45767685770988464},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.426949143409729},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35982006788253784},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2688201665878296},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1272432506084442}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7581766247749329},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7507225275039673},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6045129299163818},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5421820878982544},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5419517159461975},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.47261977195739746},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45767685770988464},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.426949143409729},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35982006788253784},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2688201665878296},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1272432506084442},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3431922","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3431922","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8345583942","display_name":null,"funder_award_id":"61373002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W201320490","https://openalex.org/W1556453281","https://openalex.org/W1567053297","https://openalex.org/W1572440476","https://openalex.org/W1572451808","https://openalex.org/W1599026900","https://openalex.org/W1967948656","https://openalex.org/W1987241097","https://openalex.org/W1988938797","https://openalex.org/W2017205387","https://openalex.org/W2026944800","https://openalex.org/W2029576333","https://openalex.org/W2034804004","https://openalex.org/W2040404640","https://openalex.org/W2048972466","https://openalex.org/W2080132708","https://openalex.org/W2081256023","https://openalex.org/W2082002555","https://openalex.org/W2085012646","https://openalex.org/W2091961944","https://openalex.org/W2103489902","https://openalex.org/W2116335551","https://openalex.org/W2123466414","https://openalex.org/W2127804012","https://openalex.org/W2166523409","https://openalex.org/W2407913417","https://openalex.org/W2950542447","https://openalex.org/W2962731772","https://openalex.org/W3009575429"],"related_works":["https://openalex.org/W2019604532","https://openalex.org/W2099785256","https://openalex.org/W187835144","https://openalex.org/W315696179","https://openalex.org/W4288055874","https://openalex.org/W2186044446","https://openalex.org/W1533619009","https://openalex.org/W2945126541","https://openalex.org/W3196023996","https://openalex.org/W47204537"],"abstract_inverted_index":{"Aiming":[0],"to":[1,73],"provide":[2],"weak":[3],"as":[4],"possible":[5],"axiomatic":[6],"assumptions":[7],"in":[8,36,58],"which":[9],"one":[10],"can":[11],"develop":[12],"basic":[13,112],"linear":[14],"algebra,":[15],"we":[16,40],"give":[17],"a":[18,69],"uniform":[19,84,101],"and":[20,49,89],"integral":[21],"version":[22],"of":[23,45,80,86,100,110],"the":[24,29,43,46,50,54,59,66,74,98,111,116,124],"short":[25],"propositional":[26,103,119],"proofs":[27,104,120],"for":[28],"determinant":[30,47,113],"identities":[31,114],"demonstrated":[32],"over":[33,53,115,123],"GF":[34],"(2)":[35],"Hrube\u0161-Tzameret":[37],"[15].":[38],"Specifically,":[39],"show":[41],"that":[42],"multiplicativity":[44],"function":[48],"Cayley-Hamilton":[51],"theorem":[52],"integers":[55,117],"are":[56],"provable":[57],"bounded":[60],"arithmetic":[61],"theory":[62,71],"VNC":[63],"2":[64,78,92,108],";":[65],"latter":[67],"is":[68],"first-order":[70],"corresponding":[72],"complexity":[75],"class":[76],"NC":[77,107],"consisting":[79],"problems":[81],"solvable":[82],"by":[83],"families":[85],"polynomial-size":[87,102],"circuits":[88],"O":[90],"(log":[91],"n":[93],")-depth.":[94],"This":[95],"also":[96],"establishes":[97],"existence":[99],"operating":[105],"with":[106],"-circuits":[109],"(previous":[118],"hold":[121],"only":[122],"two-element":[125],"field).":[126]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}