{"id":"https://openalex.org/W3131519108","doi":"https://doi.org/10.1145/3452143.3465541","title":"Computing Real Radicals by Moment Optimization","display_name":"Computing Real Radicals by Moment Optimization","publication_year":2021,"publication_date":"2021-07-13","ids":{"openalex":"https://openalex.org/W3131519108","doi":"https://doi.org/10.1145/3452143.3465541","mag":"3131519108"},"language":"en","primary_location":{"id":"doi:10.1145/3452143.3465541","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452143.3465541","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2102.09367","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038579919","display_name":"Lorenzo Baldi","orcid":"https://orcid.org/0000-0001-5601-0783"},"institutions":[{"id":"https://openalex.org/I4210106545","display_name":"Research Centre Inria Sophia Antipolis - M\u00e9diterran\u00e9e","ror":"https://ror.org/01nzkaw91","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Lorenzo Baldi","raw_affiliation_strings":["Inria M\u00e9diterran\u00e9e, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (2004 route des Lucioles BP 93 06902 Sophia Antipolis cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria M\u00e9diterran\u00e9e, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I4210106545"]},{"raw_affiliation_string":"AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (2004 route des Lucioles BP 93 06902 Sophia Antipolis cedex - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003683965","display_name":"Bernard Mourrain","orcid":"https://orcid.org/0000-0002-8813-1368"},"institutions":[{"id":"https://openalex.org/I4210106545","display_name":"Research Centre Inria Sophia Antipolis - M\u00e9diterran\u00e9e","ror":"https://ror.org/01nzkaw91","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bernard Mourrain","raw_affiliation_strings":["Inria M\u00e9diterran\u00e9e, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (2004 route des Lucioles BP 93 06902 Sophia Antipolis cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria M\u00e9diterran\u00e9e, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I4210106545"]},{"raw_affiliation_string":"AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (2004 route des Lucioles BP 93 06902 Sophia Antipolis cedex - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038579919"],"corresponding_institution_ids":["https://openalex.org/I4210106545"],"apc_list":null,"apc_paid":null,"fwci":0.4566,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66365862,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9997000098228455,"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.9997000098228455,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/annihilator","display_name":"Annihilator","score":0.8098316192626953},{"id":"https://openalex.org/keywords/moment","display_name":"Moment (physics)","score":0.590171754360199},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5760855674743652},{"id":"https://openalex.org/keywords/radical-of-an-ideal","display_name":"Radical of an ideal","score":0.5476424694061279},{"id":"https://openalex.org/keywords/truncation","display_name":"Truncation (statistics)","score":0.4786575734615326},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.4674525856971741},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.4642558693885803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.407993882894516},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2613992393016815},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22259056568145752},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.20559340715408325},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.14387622475624084}],"concepts":[{"id":"https://openalex.org/C147073270","wikidata":"https://www.wikidata.org/wiki/Q567083","display_name":"Annihilator","level":3,"score":0.8098316192626953},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.590171754360199},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5760855674743652},{"id":"https://openalex.org/C124973616","wikidata":"https://www.wikidata.org/wiki/Q1199022","display_name":"Radical of an ideal","level":5,"score":0.5476424694061279},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.4786575734615326},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.4674525856971741},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.4642558693885803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.407993882894516},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2613992393016815},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22259056568145752},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.20559340715408325},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.14387622475624084},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.0},{"id":"https://openalex.org/C156923205","wikidata":"https://www.wikidata.org/wiki/Q2905043","display_name":"Principal ideal ring","level":4,"score":0.0},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3452143.3465541","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452143.3465541","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2102.09367","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.09367","pdf_url":"https://arxiv.org/pdf/2102.09367","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-03145501v2","is_oa":true,"landing_page_url":"https://hal.science/hal-03145501","pdf_url":"https://hal.science/hal-03145501/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-P\u00e9tersbourg, Russia. ⟨10.1145/3452143.3465541⟩","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-03145501v1","is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-03145501","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.archives-ouvertes.fr/hal-03145501","raw_type":"info:eu-repo/semantics/preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2102.09367","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.09367","pdf_url":"https://arxiv.org/pdf/2102.09367","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7001502250","display_name":"Polynomial Optimization, Efficiency through Moments and Algebra","funder_award_id":"813211","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7534893990","display_name":"Polynomial Optimization, Efficiency through Moments and Algebra","funder_award_id":"813211","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G7955706205","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W77593759","https://openalex.org/W180825288","https://openalex.org/W640442761","https://openalex.org/W647818151","https://openalex.org/W1518341038","https://openalex.org/W1529712732","https://openalex.org/W1539838732","https://openalex.org/W1576347883","https://openalex.org/W1592751003","https://openalex.org/W1967344706","https://openalex.org/W1978946312","https://openalex.org/W1979692659","https://openalex.org/W2026489546","https://openalex.org/W2035352599","https://openalex.org/W2036821518","https://openalex.org/W2049707341","https://openalex.org/W2085352155","https://openalex.org/W2093314258","https://openalex.org/W2094402074","https://openalex.org/W2103394960","https://openalex.org/W2111060647","https://openalex.org/W2144770566","https://openalex.org/W2145828587","https://openalex.org/W2150928761","https://openalex.org/W2155448803","https://openalex.org/W2156811188","https://openalex.org/W2499901546","https://openalex.org/W2592191094","https://openalex.org/W2611136656","https://openalex.org/W2805898542","https://openalex.org/W2963161459","https://openalex.org/W2963833949","https://openalex.org/W2985176282","https://openalex.org/W3091219601","https://openalex.org/W3114260522","https://openalex.org/W4205353090","https://openalex.org/W4247961900","https://openalex.org/W4293258886","https://openalex.org/W4299599836"],"related_works":["https://openalex.org/W2094561988","https://openalex.org/W2261127861","https://openalex.org/W2324520903","https://openalex.org/W2080973273","https://openalex.org/W2127063498","https://openalex.org/W2315788980","https://openalex.org/W2023401839","https://openalex.org/W3131519108","https://openalex.org/W2105171515","https://openalex.org/W2135071715"],"abstract_inverted_index":{"We":[0,49,69],"present":[1],"a":[2,44,53],"new":[3],"algorithm":[4],"for":[5,52],"computing":[6],"the":[7,17,37,59,64,77,82,87,93,97],"real":[8,65,90,94,100],"radical":[9,66,95],"of":[10,19,39,57,61,67,99],"an":[11,71],"ideal":[12],"I":[13,40],"and,":[14],"more":[15],"generally,":[16],"S-radical":[18],"I,":[20],"which":[21],"is":[22,41],"based":[23],"on":[24,36,76],"convex":[25],"moment":[26],"optimization.":[27],"A":[28],"truncated":[29],"positive":[30],"generic":[31],"linear":[32],"functional":[33],"\u03c3":[34,62],"vanishing":[35],"generators":[38],"computed":[42],"solving":[43],"Moment":[45],"Optimization":[46],"Problem":[47],"(MOP).":[48],"show":[50],"that,":[51],"large":[54],"enough":[55],"degree":[56,78],"truncation,":[58],"annihilator":[60,88],"generates":[63],"I.":[68,105],"give":[70],"effective,":[72],"general":[73],"stopping":[74],"criterion":[75],"to":[79],"detect":[80],"when":[81],"prime":[83,101],"ideals":[84,102],"lying":[85,103],"over":[86,104],"are":[89],"and":[91],"compute":[92],"as":[96],"intersection":[98]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-17T08:19:37.847499","created_date":"2025-10-10T00:00:00"}