{"id":"https://openalex.org/W7104533427","doi":"https://doi.org/10.1145/3747199.3747550","title":"Certified algebraic curve projections by path tracking","display_name":"Certified algebraic curve projections by path tracking","publication_year":2025,"publication_date":"2025-07-28","ids":{"openalex":"https://openalex.org/W7104533427","doi":"https://doi.org/10.1145/3747199.3747550"},"language":null,"primary_location":{"id":"doi:10.1145/3747199.3747550","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747550","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747550","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747550","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"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":true,"raw_author_name":"Michael Burr","raw_affiliation_strings":["School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, USA"],"raw_orcid":"https://orcid.org/0000-0001-8921-4870","affiliations":[{"raw_affiliation_string":"School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Michael Byrd","orcid":"https://orcid.org/0009-0005-0998-0433"},"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 Byrd","raw_affiliation_strings":["School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, USA"],"raw_orcid":"https://orcid.org/0009-0005-0998-0433","affiliations":[{"raw_affiliation_string":"School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"last","author":{"id":null,"display_name":"Kisun Lee","orcid":"https://orcid.org/0000-0003-1191-1400"},"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":"Kisun Lee","raw_affiliation_strings":["School of Mathematical and Statistical Science, Clemson University, Clemson, SC, USA"],"raw_orcid":"https://orcid.org/0000-0003-1191-1400","affiliations":[{"raw_affiliation_string":"School of Mathematical and Statistical Science, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I8078737"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.58745698,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"87","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.8115000128746033,"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.8115000128746033,"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.08919999748468399,"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/T10481","display_name":"Computer Graphics and Visualization Techniques","score":0.020099999383091927,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/correctness","display_name":"Correctness","score":0.7615000009536743},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.6132000088691711},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6115000247955322},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.525600016117096},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4828000068664551},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.45080000162124634},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.3727000057697296},{"id":"https://openalex.org/keywords/curve-fitting","display_name":"Curve fitting","score":0.3718000054359436}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7615000009536743},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.6132000088691711},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6115000247955322},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5564000010490417},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.546500027179718},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.525600016117096},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4828000068664551},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.45080000162124634},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3765999972820282},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.3727000057697296},{"id":"https://openalex.org/C184389593","wikidata":"https://www.wikidata.org/wiki/Q603159","display_name":"Curve fitting","level":2,"score":0.3718000054359436},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.367000013589859},{"id":"https://openalex.org/C207043602","wikidata":"https://www.wikidata.org/wiki/Q266237","display_name":"Algebraic curve","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.33629998564720154},{"id":"https://openalex.org/C184363387","wikidata":"https://www.wikidata.org/wiki/Q3001219","display_name":"Stable curve","level":4,"score":0.3328000009059906},{"id":"https://openalex.org/C65557600","wikidata":"https://www.wikidata.org/wiki/Q7249451","display_name":"Projection method","level":3,"score":0.31779998540878296},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.3077999949455261},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3059000074863434},{"id":"https://openalex.org/C145242015","wikidata":"https://www.wikidata.org/wiki/Q774123","display_name":"Approximation theory","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.27630001306533813},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C58315980","wikidata":"https://www.wikidata.org/wiki/Q179436","display_name":"Asymptote","level":2,"score":0.26739999651908875}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3747199.3747550","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747550","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747550","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3747199.3747550","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747550","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747550","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W7104533427.pdf"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1041626685","https://openalex.org/W1507872748","https://openalex.org/W1532036648","https://openalex.org/W1570420806","https://openalex.org/W1862515573","https://openalex.org/W1974585479","https://openalex.org/W2017880660","https://openalex.org/W2048562977","https://openalex.org/W2049665423","https://openalex.org/W2068403757","https://openalex.org/W2070381457","https://openalex.org/W2089003198","https://openalex.org/W2093973500","https://openalex.org/W2120280171","https://openalex.org/W2138739352","https://openalex.org/W2158639671","https://openalex.org/W2552835512","https://openalex.org/W2570266333","https://openalex.org/W2616230563","https://openalex.org/W2809360550","https://openalex.org/W2956992526","https://openalex.org/W3103043995","https://openalex.org/W3113778377","https://openalex.org/W3163789115","https://openalex.org/W4383221914","https://openalex.org/W4391463169","https://openalex.org/W4400648809"],"related_works":[],"abstract_inverted_index":{"We":[0,114],"present":[1],"a":[2,7,20,84,116],"certified":[3,77],"algorithm":[4,30],"that":[5],"takes":[6],"smooth":[8],"algebraic":[9],"curve":[10,25,94],"in":[11,58,71,83,95],"\\(\\mathbb":[12,27,96],"{R}^n\\)":[13],"and":[14,80],"computes":[15],"an":[16,90],"isotopic":[17],"approximation":[18,91,103],"for":[19,33],"generic":[21],"projection":[22,62,110],"of":[23,40,69,108],"the":[24,38,61,66,72,93,102,105,109,120],"into":[26],"{R}^2\\).":[28],"Our":[29,74],"is":[31,63],"designed":[32],"curves":[34],"given":[35],"implicitly":[36],"by":[37],"zeros":[39],"n":[41],"\u2212":[42],"1":[43],"polynomials,":[44],"but":[45],"it":[46],"can":[47,111],"be":[48,112],"partially":[49],"extended":[50],"to":[51,64,92],"parametrically":[52],"defined":[53],"curves.":[54],"The":[55],"main":[56],"challenge":[57],"correctly":[59],"computing":[60],"guarantee":[65],"topological":[67,106],"correctness":[68,107],"crossings":[70],"projection.":[73],"approach":[75],"combines":[76],"path":[78],"tracking":[79],"interval":[81],"arithmetic":[82],"two-step":[85],"procedure:":[86],"first,":[87],"we":[88,100],"construct":[89],"{R}^n\\),":[97],"and,":[98],"second,":[99],"refine":[101],"until":[104],"guaranteed.":[113],"provide":[115],"proof-of-concept":[117],"implementation":[118],"illustrating":[119],"algorithm.":[121]},"counts_by_year":[],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-11-10T00:00:00"}