{"id":"https://openalex.org/W2058175730","doi":"https://doi.org/10.1145/2751524","title":"Robust Satisfiability of Systems of Equations","display_name":"Robust Satisfiability of Systems of Equations","publication_year":2015,"publication_date":"2015-09-11","ids":{"openalex":"https://openalex.org/W2058175730","doi":"https://doi.org/10.1145/2751524","mag":"2058175730"},"language":"en","primary_location":{"id":"doi:10.1145/2751524","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2751524","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/A5103183677","display_name":"Peter Franek","orcid":"https://orcid.org/0000-0001-8878-8397"},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Peter Franek","raw_affiliation_strings":["Institute of Computer Science, ASCR Prague"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, ASCR Prague","institution_ids":["https://openalex.org/I4210155092"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014115669","display_name":"Marek Kr\u010d\u00e1l","orcid":null},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Marek Kr\u010d\u00e1l","raw_affiliation_strings":["IST Austria,Klosterneuburg","IST Austria, Klosterneuburg#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria,Klosterneuburg","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria, Klosterneuburg#TAB#","institution_ids":["https://openalex.org/I157556583"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103183677"],"corresponding_institution_ids":["https://openalex.org/I4210155092"],"apc_list":null,"apc_paid":null,"fwci":2.1803,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88112064,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"62","issue":"4","first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9900000095367432,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9900000095367432,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9810000061988831,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9732999801635742,"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/undecidable-problem","display_name":"Undecidable problem","score":0.7580503225326538},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7573524713516235},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7352330088615417},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.632412314414978},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5934870839118958},{"id":"https://openalex.org/keywords/homotopy","display_name":"Homotopy","score":0.5821229219436646},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5139093399047852},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.47712138295173645},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.452949196100235},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.45129841566085815},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4317818880081177},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4277557134628296},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4213476777076721},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2225266695022583},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15530925989151},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09916672110557556}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7580503225326538},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7573524713516235},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7352330088615417},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.632412314414978},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5934870839118958},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.5821229219436646},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5139093399047852},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.47712138295173645},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.452949196100235},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.45129841566085815},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4317818880081177},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4277557134628296},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4213476777076721},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2225266695022583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15530925989151},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09916672110557556},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2751524","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2751524","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"},{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0448097","is_oa":false,"landing_page_url":"http://hdl.handle.net/11104/0249823","pdf_url":null,"source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5566021001","display_name":null,"funder_award_id":"P202/12/G061","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W102770756","https://openalex.org/W630326657","https://openalex.org/W645255940","https://openalex.org/W1483874187","https://openalex.org/W1505659547","https://openalex.org/W1507872748","https://openalex.org/W1511021991","https://openalex.org/W1516308076","https://openalex.org/W1542975694","https://openalex.org/W1557582418","https://openalex.org/W1584208430","https://openalex.org/W1585855204","https://openalex.org/W1607948671","https://openalex.org/W1680261558","https://openalex.org/W1700186964","https://openalex.org/W1835316325","https://openalex.org/W1963547452","https://openalex.org/W1964914495","https://openalex.org/W1976579818","https://openalex.org/W1980034072","https://openalex.org/W1991566301","https://openalex.org/W1993027581","https://openalex.org/W2000311514","https://openalex.org/W2005318763","https://openalex.org/W2010238663","https://openalex.org/W2012930077","https://openalex.org/W2041977310","https://openalex.org/W2049176101","https://openalex.org/W2053842335","https://openalex.org/W2066666635","https://openalex.org/W2078634134","https://openalex.org/W2087071350","https://openalex.org/W2088242110","https://openalex.org/W2089972291","https://openalex.org/W2093554556","https://openalex.org/W2101570837","https://openalex.org/W2143247392","https://openalex.org/W2148289821","https://openalex.org/W2156468317","https://openalex.org/W2166812979","https://openalex.org/W2499046917","https://openalex.org/W2963174033","https://openalex.org/W3040586665","https://openalex.org/W3107709063","https://openalex.org/W3150445746","https://openalex.org/W4210711245","https://openalex.org/W4251616545","https://openalex.org/W4301005547","https://openalex.org/W4404080907","https://openalex.org/W6675107399"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W1543051890","https://openalex.org/W2585890227"],"abstract_inverted_index":{"We":[0],"study":[1],"the":[2,60,118,130,134,141,149,172],"problem":[3,62,73,119],"of":[4,7,9,63,96,100,143,171],"robust":[5,173],"satisfiability":[6,174],"systems":[8],"nonlinear":[10],"equations,":[11],"namely,":[12],"whether":[13],"for":[14,79],"a":[15,25,51,57,66,93,112],"given":[16],"continuous":[17,161],"function":[18,36],"f":[19,152],":":[20,38],"K":[21,29,39,54,86,124],"\u2192":[22,40],"Rn":[23,41],"on":[24,148],"finite":[26],"simplicial":[27],"complex":[28],"and":[30,103,108,163,169],"\u03b1>0,":[31],"it":[32],"holds":[33],"that":[34,43,71,117],"each":[35],"g":[37],"such":[42],"\u2551":[44],"g\u2212f":[45],"\u2551\u221e":[46],"\u2264":[47,87],"\u03b1":[48],",":[49,83],"has":[50],"root":[52],"in":[53,76,106,137,175],".":[55],"Via":[56,111],"reduction":[58],"to":[59],"extension":[61,95],"maps":[64],"into":[65],"sphere,":[67],"we":[68,115,146,165],"particularly":[69],"show":[70],"this":[72],"is":[74,92,120,153],"decidable":[75],"polynomial":[77],"time":[78],"every":[80],"fixed":[81],"n":[82,89,127],"assuming":[84],"dim":[85,123],"2":[88,126],"\u22123.":[90],"This":[91],"substantial":[94],"previous":[97],"computational":[98],"applications":[99],"topological":[101],"degree":[102],"related":[104],"concepts":[105],"numerical":[107],"interval":[109],"analysis.":[110],"reverse":[113],"reduction,":[114],"prove":[116],"undecidable":[121],"when":[122,151],"\u2265":[125],"\u22122,":[128],"where":[129],"threshold":[131],"comes":[132],"from":[133],"stable":[135],"range":[136],"homotopy":[138],"theory.":[139],"For":[140],"lucidity":[142],"our":[144],"exposition,":[145],"focus":[147],"setting":[150],"simplexwise":[154],"linear.":[155],"Such":[156],"functions":[157],"can":[158],"approximate":[159],"general":[160],"functions,":[162],"thus":[164],"get":[166],"approximation":[167],"schemes":[168],"undecidability":[170],"other":[176],"possible":[177],"settings.":[178]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}