{"id":"https://openalex.org/W2809360550","doi":"https://doi.org/10.1145/3208976.3209010","title":"An Approach for Certifying Homotopy Continuation Paths","display_name":"An Approach for Certifying Homotopy Continuation Paths","publication_year":2018,"publication_date":"2018-07-11","ids":{"openalex":"https://openalex.org/W2809360550","doi":"https://doi.org/10.1145/3208976.3209010","mag":"2809360550"},"language":"en","primary_location":{"id":"doi:10.1145/3208976.3209010","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3208976.3209010","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3208976.3209010","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3208976.3209010","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101983941","display_name":"Juan Xu","orcid":"https://orcid.org/0000-0002-5808-6797"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Juan Xu","raw_affiliation_strings":["Beihang University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077430174","display_name":"Michael Burr","orcid":"https://orcid.org/0000-0001-8921-4870"},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Burr","raw_affiliation_strings":["Clemson University, Clemson, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078989577","display_name":"Chee Yap","orcid":"https://orcid.org/0000-0003-2952-3545"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chee Yap","raw_affiliation_strings":["New York University, New York City, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, New York City, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"399","last_page":"406"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","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/T11435","display_name":"Polynomial and algebraic computation","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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9972000122070312,"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"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","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/continuation","display_name":"Continuation","score":0.826767086982727},{"id":"https://openalex.org/keywords/homotopy","display_name":"Homotopy","score":0.7634577751159668},{"id":"https://openalex.org/keywords/homotopy-analysis-method","display_name":"Homotopy analysis method","score":0.6537139415740967},{"id":"https://openalex.org/keywords/univariate","display_name":"Univariate","score":0.6463930606842041},{"id":"https://openalex.org/keywords/cofibration","display_name":"Cofibration","score":0.541825532913208},{"id":"https://openalex.org/keywords/root","display_name":"Root (linguistics)","score":0.53841233253479},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5201511979103088},{"id":"https://openalex.org/keywords/alpha","display_name":"Alpha (finance)","score":0.5010969638824463},{"id":"https://openalex.org/keywords/analytic-continuation","display_name":"Analytic continuation","score":0.46490156650543213},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.46253159642219543},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46083739399909973},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.35199621319770813},{"id":"https://openalex.org/keywords/n-connected","display_name":"n-connected","score":0.3495919406414032},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3378191590309143},{"id":"https://openalex.org/keywords/regular-homotopy","display_name":"Regular homotopy","score":0.3370991051197052},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32623937726020813},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1995011866092682},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.16974079608917236},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07581636309623718},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.0732167661190033}],"concepts":[{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.826767086982727},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.7634577751159668},{"id":"https://openalex.org/C173636693","wikidata":"https://www.wikidata.org/wiki/Q17030668","display_name":"Homotopy analysis method","level":3,"score":0.6537139415740967},{"id":"https://openalex.org/C199163554","wikidata":"https://www.wikidata.org/wiki/Q1681619","display_name":"Univariate","level":3,"score":0.6463930606842041},{"id":"https://openalex.org/C150275644","wikidata":"https://www.wikidata.org/wiki/Q1048949","display_name":"Cofibration","level":5,"score":0.541825532913208},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.53841233253479},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5201511979103088},{"id":"https://openalex.org/C64943373","wikidata":"https://www.wikidata.org/wiki/Q2651003","display_name":"Alpha (finance)","level":4,"score":0.5010969638824463},{"id":"https://openalex.org/C151602998","wikidata":"https://www.wikidata.org/wiki/Q485287","display_name":"Analytic continuation","level":2,"score":0.46490156650543213},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.46253159642219543},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46083739399909973},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35199621319770813},{"id":"https://openalex.org/C191752858","wikidata":"https://www.wikidata.org/wiki/Q6358325","display_name":"n-connected","level":3,"score":0.3495919406414032},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3378191590309143},{"id":"https://openalex.org/C168334404","wikidata":"https://www.wikidata.org/wiki/Q7309601","display_name":"Regular homotopy","level":4,"score":0.3370991051197052},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32623937726020813},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1995011866092682},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.16974079608917236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07581636309623718},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0732167661190033},{"id":"https://openalex.org/C171606756","wikidata":"https://www.wikidata.org/wiki/Q506132","display_name":"Psychometrics","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C161584116","wikidata":"https://www.wikidata.org/wiki/Q1952580","display_name":"Multivariate statistics","level":2,"score":0.0},{"id":"https://openalex.org/C49453240","wikidata":"https://www.wikidata.org/wiki/Q1592163","display_name":"Construct validity","level":3,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3208976.3209010","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3208976.3209010","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3208976.3209010","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3208976.3209010","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3208976.3209010","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3208976.3209010","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2371736443","display_name":null,"funder_award_id":"282399","funder_id":"https://openalex.org/F4320306164","funder_display_name":"Simons Foundation"},{"id":"https://openalex.org/G3248499258","display_name":null,"funder_award_id":"CCF-1564132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3875097736","display_name":null,"funder_award_id":"-1423228","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4038185939","display_name":null,"funder_award_id":"CCF-1527193","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4457769302","display_name":"AF: Small: Numeric-Symbolic Techniques for Geometric Problems in Algebra and Analysis","funder_award_id":"1423228","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5194165747","display_name":"AF: Medium: Collaborative Research:Numerical Algebraic Differential Equations","funder_award_id":"1564132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7269483701","display_name":null,"funder_award_id":"-1564132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7313837366","display_name":null,"funder_award_id":"CCF-1423228","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7444436744","display_name":null,"funder_award_id":"CCF-1423228 and CCF-1564132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8512381953","display_name":"AF: Small: Subdivision Methods: Correctness and Complexity","funder_award_id":"1527193","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G987558048","display_name":null,"funder_award_id":"CCF-1527193, CCF-1423228, CCF-1564132","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2809360550.pdf","grobid_xml":"https://content.openalex.org/works/W2809360550.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W647818151","https://openalex.org/W1041626685","https://openalex.org/W1550331971","https://openalex.org/W1832583097","https://openalex.org/W1965654736","https://openalex.org/W1974585479","https://openalex.org/W2028576930","https://openalex.org/W2048562977","https://openalex.org/W2049665423","https://openalex.org/W2063917062","https://openalex.org/W2068403757","https://openalex.org/W2089003198","https://openalex.org/W2093973500","https://openalex.org/W2111028120","https://openalex.org/W2120280171","https://openalex.org/W2138739352","https://openalex.org/W2158358539","https://openalex.org/W2158516852","https://openalex.org/W2167360454","https://openalex.org/W2187661159","https://openalex.org/W2484278949","https://openalex.org/W2964285479","https://openalex.org/W4231932295","https://openalex.org/W4298392963","https://openalex.org/W6672845998"],"related_works":["https://openalex.org/W2952105607","https://openalex.org/W121514703","https://openalex.org/W1963761593","https://openalex.org/W1966906304","https://openalex.org/W1522115346","https://openalex.org/W2148215914","https://openalex.org/W2952944941","https://openalex.org/W2081030240","https://openalex.org/W3216437770","https://openalex.org/W1510137652"],"abstract_inverted_index":{"Homotopy":[0],"continuation":[1,14],"is":[2,44,49],"a":[3],"well-known":[4],"method":[5],"in":[6],"numerical":[7],"root-finding.":[8],"Recently,":[9],"certified":[10],"algorithms":[11],"for":[12],"homotopy":[13],"based":[15,50],"on":[16,51],"Smale's":[17],"alpha-theory":[18],"have":[19],"been":[20],"developed.":[21],"This":[22],"approach":[23,42],"enforces":[24],"very":[25],"strong":[26],"requirements":[27],"at":[28],"each":[29],"step,":[30],"leading":[31],"to":[32,58,64],"small":[33],"step":[34],"sizes.":[35],"In":[36],"this":[37],"paper,":[38],"we":[39],"propose":[40],"an":[41],"that":[43],"independent":[45],"of":[46,55,71],"alpha-theory.":[47],"It":[48],"the":[52,59],"weaker":[53],"notion":[54],"well-isolated":[56],"approximations":[57],"roots.":[60],"We":[61],"apply":[62],"it":[63],"univariate":[65],"polynomials":[66],"and":[67],"provide":[68],"experimental":[69],"evidence":[70],"its":[72],"feasibility.":[73]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}