{"id":"https://openalex.org/W2052496602","doi":"https://doi.org/10.1090/s0025-5718-2013-02766-4","title":"Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity","display_name":"Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity","publication_year":2013,"publication_date":"2013-10-31","ids":{"openalex":"https://openalex.org/W2052496602","doi":"https://doi.org/10.1090/s0025-5718-2013-02766-4","mag":"2052496602"},"language":"en","primary_location":{"id":"doi:10.1090/s0025-5718-2013-02766-4","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0025-5718-2013-02766-4","pdf_url":"https://www.ams.org/mcom/2014-83-286/S0025-5718-2013-02766-4/S0025-5718-2013-02766-4.pdf","source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.ams.org/mcom/2014-83-286/S0025-5718-2013-02766-4/S0025-5718-2013-02766-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114032508","display_name":"Bernd Bank","orcid":null},"institutions":[{"id":"https://openalex.org/I39343248","display_name":"Humboldt-Universit\u00e4t zu Berlin","ror":"https://ror.org/01hcx6992","country_code":"DE","type":"education","lineage":["https://openalex.org/I39343248"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Bernd Bank","raw_affiliation_strings":["Institut f\u00c3\u00bcr Mathematik, Humboldt-Universit\u00c3\u00a4t zu Berlin, Unter den Linden 6, D-10099 Berlin, Germany","Institut f\u00fcr Mathematik, Humboldt-Universit\u00e4t zu Berlin, Unter den Linden 6, D-10099 Berlin,Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00c3\u00bcr Mathematik, Humboldt-Universit\u00c3\u00a4t zu Berlin, Unter den Linden 6, D-10099 Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]},{"raw_affiliation_string":"Institut f\u00fcr Mathematik, Humboldt-Universit\u00e4t zu Berlin, Unter den Linden 6, D-10099 Berlin,Germany","institution_ids":["https://openalex.org/I39343248"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014710360","display_name":"M Giusti","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Giusti","raw_affiliation_strings":["CNRS, \u00c3\u0089cole Polytechnique, Lab. LIX, F-91228 Palaiseau, Cedex, France","CNRS, \u00c9cole Polytechnique, Lab. LIX, F-91228 Palaiseau, Cedex, France"],"affiliations":[{"raw_affiliation_string":"CNRS, \u00c3\u0089cole Polytechnique, Lab. LIX, F-91228 Palaiseau, Cedex, France","institution_ids":["https://openalex.org/I4210139461","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS, \u00c9cole Polytechnique, Lab. LIX, F-91228 Palaiseau, Cedex, France","institution_ids":["https://openalex.org/I142476485","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009389655","display_name":"Joos Heintz","orcid":null},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I13134134","display_name":"Universidad de Cantabria","ror":"https://ror.org/046ffzj20","country_code":"ES","type":"education","lineage":["https://openalex.org/I13134134"]},{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR","ES"],"is_corresponding":false,"raw_author_name":"Joos Heintz","raw_affiliation_strings":["Departamento de Computaci\u00c3\u00b3n, Universidad de Buenos Aires, CONICET, Ciudad Universitaria, Pabellon I, 1428 Buenos Aires, Argentina \u00e2\u0080\u0094 Departamento de Matem\u00c3\u00a1ticas, Estad\u00c3\u00adstica y Computaci\u00c3\u00b3n, Facultad de Ciencias, Universidad de Cantabria, Avda. de los Castros, E-39005 Santander, Spain","University of Buenos Aires, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00c3\u00b3n, Universidad de Buenos Aires, CONICET, Ciudad Universitaria, Pabellon I, 1428 Buenos Aires, Argentina \u00e2\u0080\u0094 Departamento de Matem\u00c3\u00a1ticas, Estad\u00c3\u00adstica y Computaci\u00c3\u00b3n, Facultad de Ciencias, Universidad de Cantabria, Avda. de los Castros, E-39005 Santander, Spain","institution_ids":["https://openalex.org/I13134134","https://openalex.org/I151201029","https://openalex.org/I24354313"]},{"raw_affiliation_string":"University of Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5114032508"],"corresponding_institution_ids":["https://openalex.org/I39343248"],"apc_list":null,"apc_paid":null,"fwci":1.1096,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79185649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"83","issue":"286","first_page":"873","last_page":"897"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998999834060669,"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.9998999834060669,"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.9970999956130981,"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.9925000071525574,"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/combinatorics","display_name":"Combinatorics","score":0.7213199138641357},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7102174758911133},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5821607112884521},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.4343244731426239},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.4309402406215668},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4135546386241913},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3311924338340759},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1844806671142578},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.13355451822280884},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0995396077632904}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7213199138641357},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7102174758911133},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5821607112884521},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.4343244731426239},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.4309402406215668},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4135546386241913},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3311924338340759},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1844806671142578},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.13355451822280884},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0995396077632904},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1090/s0025-5718-2013-02766-4","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0025-5718-2013-02766-4","pdf_url":"https://www.ams.org/mcom/2014-83-286/S0025-5718-2013-02766-4/S0025-5718-2013-02766-4.pdf","source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},{"id":"pmh:oai:ri.conicet.gov.ar:11336/84684","is_oa":true,"landing_page_url":"http://hdl.handle.net/11336/84684","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"reponame:CONICET Digital (CONICET)","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.361.3211","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.3211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.378.4021","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.378.4021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www2.mathematik.hu-berlin.de/publ/pre/2011/P-11-18.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1090/s0025-5718-2013-02766-4","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0025-5718-2013-02766-4","pdf_url":"https://www.ams.org/mcom/2014-83-286/S0025-5718-2013-02766-4/S0025-5718-2013-02766-4.pdf","source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G684576016","display_name":null,"funder_award_id":"UBACYT","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321594","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59"},{"id":"https://openalex.org/F4320335478","display_name":"Secretar\u00eda de Ciencia y T\u00e9cnica, Universidad de Buenos Aires","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2052496602.pdf","grobid_xml":"https://content.openalex.org/works/W2052496602.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W9256782","https://openalex.org/W60917887","https://openalex.org/W136633354","https://openalex.org/W138638854","https://openalex.org/W290689611","https://openalex.org/W352438514","https://openalex.org/W1561337879","https://openalex.org/W1574151794","https://openalex.org/W1577258119","https://openalex.org/W1591673025","https://openalex.org/W1964605445","https://openalex.org/W1973993014","https://openalex.org/W1991813962","https://openalex.org/W2006394656","https://openalex.org/W2016419624","https://openalex.org/W2022078407","https://openalex.org/W2035153735","https://openalex.org/W2036581362","https://openalex.org/W2055947963","https://openalex.org/W2058786070","https://openalex.org/W2059266490","https://openalex.org/W2067754486","https://openalex.org/W2071744736","https://openalex.org/W2076067331","https://openalex.org/W2080589685","https://openalex.org/W2080983281","https://openalex.org/W2081485421","https://openalex.org/W2082387287","https://openalex.org/W2088922099","https://openalex.org/W2106340839","https://openalex.org/W2126534535","https://openalex.org/W2130918732","https://openalex.org/W2134386365","https://openalex.org/W2151549243","https://openalex.org/W2164838307","https://openalex.org/W2170975953","https://openalex.org/W2187638739","https://openalex.org/W2317218640","https://openalex.org/W2496200881","https://openalex.org/W2504026071","https://openalex.org/W2596187900","https://openalex.org/W2612606421","https://openalex.org/W4211184603","https://openalex.org/W4252041593","https://openalex.org/W4255213956"],"related_works":["https://openalex.org/W3161230432","https://openalex.org/W1487201914","https://openalex.org/W4367190712","https://openalex.org/W280458463","https://openalex.org/W1170131723","https://openalex.org/W4301429470","https://openalex.org/W2168900540","https://openalex.org/W2125310826","https://openalex.org/W2380536887","https://openalex.org/W2399035783"],"abstract_inverted_index":{"Let":[0,13],"$X_1,\\ldots":[1,49],",X_n$":[2,50],"be":[3,16],"indeterminates":[4],"over":[5],"$\\mathbb":[6,23,74],"{Q}$":[7],"and":[8,79,91,150,193,197],"let":[9],"$X:=(X_1,\\ldots":[10],",$":[11],"$X_n)$.":[12],"$F_1,\\ldots":[14,58,96],",F_p$":[15],"a":[17,85,110,167,229],"regular":[18],"sequence":[19],"of":[20,25,76,87,95,119,127,138,142,156,174,187,233,253],"polynomials":[21,64],"in":[22,52,73,213,220],"{Q}[X]$":[24,75],"degree":[26],"at":[27],"most":[28],"$d$":[29],"such":[30,102],"that":[31,46,62,103,246],"for":[32,115,237],"each":[33,116],"$1\\le":[34,98],"k":[35],"\\le":[36,100],"p$":[37],"the":[38,47,63,125,172,178,200,214,221,238,250],"ideal":[39],"$(F_1,\\ldots":[40],",":[41,129],"F_k)$":[42],"is":[43,141,155,166,190,257],"radical.":[44],"Suppose":[45],"variables":[48],"are":[51,65],"generic":[53],"position":[54],"with":[55],"respect":[56],"to":[57],",F_p$.":[59],"Further,":[60],"suppose":[61],"given":[66],"by":[67,259],"an":[68],"essentially":[69],"division-free":[70],"circuit":[71],"$\\beta$":[72,109],"size":[77],"$L$":[78],"non-scalar":[80,152],"depth":[81],"$\\ell$.":[82],"We":[83,226],"present":[84],"family":[86],"algorithms":[88],"$\\Pi":[89,104,139,175,188,210,254],"_i$":[90,94,105,140,176,189,211],"invariants":[92],"$\\delta":[93,240],",F_p$,":[97],"i":[99],"n-p$,":[101],"produces":[106],"on":[107],"input":[108],"smooth":[111],"algebraic":[112],"sample":[113],"point":[114],"connected":[117],"component":[118],"$\\{x\\in":[120],"\\mathbb":[121],"{R}^n\\;|\\;F_1(x)=\\cdots":[122],"=F_p(x)=0\\}$":[123],"where":[124],"Jacobian":[126],"$F_1=0,\\ldots":[128],"F_p=0$":[130],"has":[131],"generically":[132],"rank":[133],"$p$.":[134],"The":[135,184,208,242],"sequential":[136],"complexity":[137,154,173,195,224,252],"order":[143,157,234],"$L(n":[144],"d)^{O(1)}(\\min":[145],"\\{(n":[146],"d)^{c":[147],"n},\\delta":[148],"_i\\})^2$":[149],"its":[151,191],"parallel":[153],"$O(n(\\ell":[158],"+\\log":[159],"n":[160],"d)\\log":[161],"\\delta":[162],"_i)$.":[163],"Here":[164],"$c>0$":[165],"suitable":[168],"universal":[169],"constant.":[170],"Thus,":[171],"meets":[177],"already":[179],"known":[180],"worst":[181,230],"case":[182,231],"bounds.":[183],"particular":[185],"feature":[186],"pseudo-polynomial":[192],"intrinsic":[194],"character":[196],"this":[198,247],"entails":[199],"best":[201],"runtime":[202],"behavior":[203],"one":[204],"can":[205],"hope":[206],"for.":[207],"algorithm":[209],"works":[212],"non-uniform":[215],"deterministic":[216],"as":[217,219],"well":[218],"uniform":[222],"probabilistic":[223],"model.":[225],"also":[227],"exhibit":[228],"estimate":[232],"$(n^n":[235],"d)^{O(n)}$":[236],"invariant":[239],"_i$.":[241],"reader":[243],"may":[244],"notice":[245],"bound":[248],"overestimates":[249],"extrinsic":[251],"_i$,":[255],"which":[256],"bounded":[258],"$(nd)^{O(n)}$.":[260]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}