{"id":"https://openalex.org/W2956520742","doi":"https://doi.org/10.1145/3326229.3326237","title":"Certified Numerical Real Root Isolation for Bivariate Polynomial Systems","display_name":"Certified Numerical Real Root Isolation for Bivariate Polynomial Systems","publication_year":2019,"publication_date":"2019-07-08","ids":{"openalex":"https://openalex.org/W2956520742","doi":"https://doi.org/10.1145/3326229.3326237","mag":"2956520742"},"language":"en","primary_location":{"id":"doi:10.1145/3326229.3326237","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326237","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-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/A5028189959","display_name":"Jin-San Cheng","orcid":"https://orcid.org/0000-0003-1581-9214"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jin-San Cheng","raw_affiliation_strings":["Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075817174","display_name":"Junyi Wen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junyi Wen","raw_affiliation_strings":["Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028189959"],"corresponding_institution_ids":["https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.194,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.52507216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998000264167786,"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.9998000264167786,"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.9902999997138977,"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/T10142","display_name":"Formal Methods in Verification","score":0.9868000149726868,"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/bivariate-analysis","display_name":"Bivariate analysis","score":0.6794637441635132},{"id":"https://openalex.org/keywords/univariate","display_name":"Univariate","score":0.6621187329292297},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6610432267189026},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.6375420093536377},{"id":"https://openalex.org/keywords/subdivision","display_name":"Subdivision","score":0.6124728918075562},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.5502184629440308},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5284692645072937},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.5251124501228333},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.42060843110084534},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3389289677143097},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32779815793037415},{"id":"https://openalex.org/keywords/multivariate-statistics","display_name":"Multivariate statistics","score":0.2111349105834961},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1768728494644165},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10239556431770325},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.1012834906578064}],"concepts":[{"id":"https://openalex.org/C64341305","wikidata":"https://www.wikidata.org/wiki/Q4919225","display_name":"Bivariate analysis","level":2,"score":0.6794637441635132},{"id":"https://openalex.org/C199163554","wikidata":"https://www.wikidata.org/wiki/Q1681619","display_name":"Univariate","level":3,"score":0.6621187329292297},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6610432267189026},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.6375420093536377},{"id":"https://openalex.org/C143392562","wikidata":"https://www.wikidata.org/wiki/Q449111","display_name":"Subdivision","level":2,"score":0.6124728918075562},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5502184629440308},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5284692645072937},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5251124501228333},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.42060843110084534},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3389289677143097},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32779815793037415},{"id":"https://openalex.org/C161584116","wikidata":"https://www.wikidata.org/wiki/Q1952580","display_name":"Multivariate statistics","level":2,"score":0.2111349105834961},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1768728494644165},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10239556431770325},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.1012834906578064},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3326229.3326237","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326237","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W21537335","https://openalex.org/W1496785083","https://openalex.org/W1532036648","https://openalex.org/W1565317613","https://openalex.org/W1579224486","https://openalex.org/W1596101580","https://openalex.org/W1964839258","https://openalex.org/W1979084035","https://openalex.org/W2001915506","https://openalex.org/W2007454673","https://openalex.org/W2016815171","https://openalex.org/W2020812938","https://openalex.org/W2048055604","https://openalex.org/W2059040957","https://openalex.org/W2070381457","https://openalex.org/W2077223725","https://openalex.org/W2086421911","https://openalex.org/W2097415784","https://openalex.org/W2102283069","https://openalex.org/W2120694921","https://openalex.org/W2130952444","https://openalex.org/W2131327682","https://openalex.org/W2310611228","https://openalex.org/W2464473992","https://openalex.org/W2570266333","https://openalex.org/W2619629350","https://openalex.org/W2916009876","https://openalex.org/W2963548828","https://openalex.org/W4245179165"],"related_works":["https://openalex.org/W4394590985","https://openalex.org/W2348840575","https://openalex.org/W2030498341","https://openalex.org/W3122841410","https://openalex.org/W2046205453","https://openalex.org/W2770017172","https://openalex.org/W89977309","https://openalex.org/W2183901182","https://openalex.org/W2030930882","https://openalex.org/W4300013323"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"present":[4],"a":[5,13,20,53,66,86],"new":[6],"method":[7,18,22,79,111],"for":[8,102,114],"isolating":[9],"real":[10,27,68,83],"roots":[11],"of":[12,30,39,47,65,70,85,98],"bivariate":[14,88],"polynomial":[15,89],"system.":[16,42,90],"Our":[17,110],"is":[19,24],"subdivision":[21],"which":[23],"based":[25],"on":[26],"root":[28],"isolation":[29],"univariate":[31],"polynomials":[32],"and":[33,55,62,96,107],"analyzing":[34],"the":[35,40,45,48,60,63,71,74,82,94],"local":[36],"geometrical":[37],"properties":[38],"given":[41,87],"We":[43,76],"propose":[44],"concept":[46],"orthogonal":[49],"monotone":[50],"system":[51,72],"in":[52,73],"box":[54],"use":[56],"it":[57],"to":[58,80],"determine":[59],"uniqueness":[61],"existence":[64],"simple":[67],"zero":[69],"box.":[75],"implement":[77],"our":[78,99],"isolate":[81],"zeros":[84],"The":[91],"experiments":[92],"show":[93],"effectivity":[95],"efficiency":[97],"method,":[100],"especially":[101],"systems":[103],"with":[104],"high":[105],"degrees":[106],"sparse":[108],"terms.":[109],"also":[112],"works":[113],"non-polynomial":[115],"systems.":[116]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}