{"id":"https://openalex.org/W7134196405","doi":"https://doi.org/10.1007/s00037-025-00283-6","title":"Towards Optimal Depth-Reductions for Algebraic Formulas","display_name":"Towards Optimal Depth-Reductions for Algebraic Formulas","publication_year":2026,"publication_date":"2026-03-08","ids":{"openalex":"https://openalex.org/W7134196405","doi":"https://doi.org/10.1007/s00037-025-00283-6"},"language":"en","primary_location":{"id":"doi:10.1007/s00037-025-00283-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00037-025-00283-6","pdf_url":null,"source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","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":null,"display_name":"Herv\u00e9 Fournier","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I4210091437","display_name":"Sorbonne Paris Cit\u00e9","ror":"https://ror.org/001z21q04","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210091437"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Herv\u00e9 Fournier","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, IMJ-PRG Place Aurlie Nemours, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, IMJ-PRG Place Aurlie Nemours, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I4210091437"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Nutan Limaye","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Nutan Limaye","raw_affiliation_strings":["IT university of Copenhagen, Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT university of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Guillaume Malod","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I4210091437","display_name":"Sorbonne Paris Cit\u00e9","ror":"https://ror.org/001z21q04","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210091437"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guillaume Malod","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, IMJ-PRG Place Aurlie Nemours, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, IMJ-PRG Place Aurlie Nemours, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I4210091437"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Srikanth Srinivasan","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Srikanth Srinivasan","raw_affiliation_strings":["University of Copenhaguen, Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Copenhaguen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":null,"display_name":"S\u00e9bastien Tavenas","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210144844","display_name":"Laboratoire d\u2019Analyse et de Math\u00e9matiques Appliqu\u00e9es","ror":"https://ror.org/0581g8849","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I197681013","https://openalex.org/I4210141950","https://openalex.org/I4210144844","https://openalex.org/I4210154111"]},{"id":"https://openalex.org/I70900168","display_name":"Universit\u00e9 Savoie Mont Blanc","ror":"https://ror.org/04gqg1a07","country_code":"FR","type":"education","lineage":["https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Tavenas","raw_affiliation_strings":["Universit Savoie Mont Blanc, LAMA,CNRS, Le-Bourget-du-Lac, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit Savoie Mont Blanc, LAMA,CNRS, Le-Bourget-du-Lac, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210144844","https://openalex.org/I70900168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83467386"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28975163,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.7724000215530396,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.7724000215530396,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.17710000276565552,"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/T10237","display_name":"Cryptography and Data Security","score":0.011099999770522118,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/algebraic-number","display_name":"Algebraic number","score":0.7251999974250793},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6021000146865845},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.5950000286102295},{"id":"https://openalex.org/keywords/real-algebraic-geometry","display_name":"Real algebraic geometry","score":0.5889000296592712},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5726000070571899},{"id":"https://openalex.org/keywords/dimension-of-an-algebraic-variety","display_name":"Dimension of an algebraic variety","score":0.4896000027656555},{"id":"https://openalex.org/keywords/algebraic-surface","display_name":"Algebraic surface","score":0.4740000069141388},{"id":"https://openalex.org/keywords/homogeneous","display_name":"Homogeneous","score":0.4706000089645386},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.47049999237060547}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8353000283241272},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.7251999974250793},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6021000146865845},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5950000286102295},{"id":"https://openalex.org/C2731732","wikidata":"https://www.wikidata.org/wiki/Q7301119","display_name":"Real algebraic geometry","level":3,"score":0.5889000296592712},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5726000070571899},{"id":"https://openalex.org/C25971838","wikidata":"https://www.wikidata.org/wiki/Q5277261","display_name":"Dimension of an algebraic variety","level":3,"score":0.4896000027656555},{"id":"https://openalex.org/C69653121","wikidata":"https://www.wikidata.org/wiki/Q1434805","display_name":"Algebraic surface","level":3,"score":0.4740000069141388},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.4706000089645386},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.47049999237060547},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4672999978065491},{"id":"https://openalex.org/C173832452","wikidata":"https://www.wikidata.org/wiki/Q162608","display_name":"Algebraic element","level":5,"score":0.46560001373291016},{"id":"https://openalex.org/C199793520","wikidata":"https://www.wikidata.org/wiki/Q4723996","display_name":"Algebraic cycle","level":3,"score":0.4020000100135803},{"id":"https://openalex.org/C148607811","wikidata":"https://www.wikidata.org/wiki/Q746863","display_name":"Algebraic function","level":3,"score":0.3790999948978424},{"id":"https://openalex.org/C89290136","wikidata":"https://www.wikidata.org/wiki/Q550791","display_name":"Algebraic extension","level":5,"score":0.37790000438690186},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C10996884","wikidata":"https://www.wikidata.org/wiki/Q5508773","display_name":"Function field of an algebraic variety","level":3,"score":0.34200000762939453},{"id":"https://openalex.org/C78313660","wikidata":"https://www.wikidata.org/wiki/Q727659","display_name":"Commutative algebra","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3303000032901764},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.3294999897480011},{"id":"https://openalex.org/C26959085","wikidata":"https://www.wikidata.org/wiki/Q5275330","display_name":"Differential algebraic geometry","level":5,"score":0.32120001316070557},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.31700000166893005},{"id":"https://openalex.org/C2779782106","wikidata":"https://www.wikidata.org/wiki/Q4724020","display_name":"Algebraic theory","level":3,"score":0.31679999828338623},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C207043602","wikidata":"https://www.wikidata.org/wiki/Q266237","display_name":"Algebraic curve","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C201482947","wikidata":"https://www.wikidata.org/wiki/Q7524253","display_name":"Singular point of an algebraic variety","level":5,"score":0.29820001125335693},{"id":"https://openalex.org/C87563608","wikidata":"https://www.wikidata.org/wiki/Q2900186","display_name":"Algebraic solution","level":5,"score":0.25929999351501465},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00037-025-00283-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00037-025-00283-6","pdf_url":null,"source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1963738961","https://openalex.org/W1968206655","https://openalex.org/W1988738948","https://openalex.org/W1988938797","https://openalex.org/W2009269558","https://openalex.org/W2016576580","https://openalex.org/W2026944800","https://openalex.org/W2027044307","https://openalex.org/W2033773511","https://openalex.org/W2049156754","https://openalex.org/W2069546133","https://openalex.org/W2069796292","https://openalex.org/W2081256023","https://openalex.org/W2085992581","https://openalex.org/W2093103267","https://openalex.org/W2110206454","https://openalex.org/W2114725020","https://openalex.org/W2128510017","https://openalex.org/W2134810661","https://openalex.org/W2171403864","https://openalex.org/W2467589244","https://openalex.org/W2914183794","https://openalex.org/W2963003754","https://openalex.org/W4281858676","https://openalex.org/W4399512733","https://openalex.org/W4401408291","https://openalex.org/W4410964298"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}